Документация по прологическому диалекту прова

Question

Я бы хотел переключиться с SWI-Prolog на Prova - но это оказалось сложнее, чем ожидалось:

Предикаты, такие как succ(), недоступны, а операции, подобные Var1+Var2>Var3, не работают (очевидно, это должно быть Var3<Var1+Var2, чтобы быть действительным).

Имеется ли документация, описывающая различия между диалектами пролога?

Answer 1

В настоящее время доступно множество документации по адресу http://www.prova.ws/documentation.php. Новая версия находится в процессе разработки, поэтому и Руководство пользователя, и Confluence WIKI очень активно развиваются. О, и новая версия теперь НЕ основана на Mandarax, она полностью переписана с нуля.

Answer 2

Обновление:

• Вот новая вики на Prova (не было там, когда задали этот вопрос) с большим количеством синтаксиса языка и примерами
• Документация несколько устаревшая .

Я не нашел страницу, которая конкретно показывает различия в диалектах.

---

Оригинальный ответ:

Единственная статья «Сравнение диалектов Пролога», которую я смог найти, это эта статья ACM . К сожалению, это не бесплатно. И я не уверен, включает ли это сравнение с Prova.

Если Prova - это способ создания Пролога на Java, он будет адаптирован к ОО-среде императивного языка Java. Похоже, что вы представили подмножество Пролога, но синтаксис действительно явно другой. Плюс в том, что вы можете смешивать «Пролог» с «Java».

Вы также можете найти информацию о Mandarax, который совместим с Prova, но вы, вероятно, уже знаете об этом.