.swipl_history *.aux *.log .DS_Store *.o Makefile .gitignore .*.swp