prolog - 哪个 Prolog 实现使用这种语法？

Question

我必须为学校的 AI 课程学习 Prolog。我的老师使用仅在 Windows 上可用的 Visual Prolog。我使用 MacOS，所以我下载了 SWI-Prolog，认为它很相似。但是，我注意到语法不一样。例如：在 SWI-Prolog 中，关键字 if 被替换为 :-，我的老师也使用了以下语法：

predicates  
  likes(symbol, symbol)   

clauses  
  likes(ellen, tennis).    
  likes(john, football).  

这给了我一个 SWI-Prolog 错误。我必须下载什么才能使用相同的语法？

标签： prologvisual-prolog