adds .gitignore
first prolog solution