我必须为学校的 AI 课程学习 Prolog。我的老师使用仅在 Windows 上可用的 Visual Prolog。我使用 MacOS，所以我下载了 SWI-Prolog，认为它很相似。但是，我注意到语法不一样。例如：在 SWI-Prolog 中，关键字 if 被替换为 :-，我的老师也使用了以下语法：
predicates
likes(symbol, symbol)
clauses
likes(ellen, tennis).
likes(john, football).
这给了我一个 SWI-Prolog 错误。我必须下载什么才能使用相同的语法？