.swipl_history
*.aux
*.log
.DS_Store
*.o
buildenv.sh
status.db
lib/