Какая реализация Prolog использует этот синтаксис?

#prolog #visual-prolog

#пролог #visual-prolog

Вопрос:

Я должен изучать Prolog для курса AI в школе. Мой учитель использует Visual Prolog, который доступен только в Windows. Я использую macOS, поэтому я загрузил SWI-Prolog, думая, что он похож. Однако я заметил, что синтаксис не тот. Например: ключевое слово if заменяется на:- в SWI-Prolog также мой учитель использовал этот синтаксис:

 predicates  
  likes(symbol, symbol)   

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

что выдает мне ошибку в SWI-Prolog. Что мне нужно загрузить, чтобы использовать тот же синтаксис?

Комментарии:

1.удалите весь раздел предикатов и ключевое слово clauses

2. @CapelliC есть ли какая-либо реализация Prolog, которую я могу загрузить, которая использует этот синтаксис?

3. Я думаю, что на macOS вы не можете найти ни одного… имейте в виду, что Visual Prolog и SWI-Prolog имеют более глубокие различия, чем поверхностное изменение, которое я предложил

4. Visual Prolog — это не Prolog, он значительно расширяет Prolog. Речь ИДЕТ НЕ о синтаксисе. Если вы должны использовать Visual Prolog в macOS, вы также можете использовать виртуальную машину с Windows на ней.