Update Readme for Prolog
adding gitignore + .DS_STORE
Prolog examples: course

- ex1: intro - predicates and goals
- ex2: intro - conjunction of predicates
update conjunction predicates