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?
