I have to study Prolog for the AI course at school. My teacher uses Visual Prolog which is only available on Windows. I use MacOS so I downloaded SWI-Prolog thinking it's similar. However, I noticed that the syntax is not the same. For example: the keyword if is replaced by :- in SWI-Prolog, also my teacher used this syntax:
predicates
likes(symbol, symbol)
clauses
likes(ellen, tennis).
likes(john, football).
which gives me an error in SWI-Prolog. What do I have to download to use the same syntax?