Что является лучшим среди Visual Prolog, SWI-Prolog и других?

Question

Я искал в Интернете и stackoverflow.com, но ничего не получил.

Кто может дать мне сравнение между различными компиляторами / IDE Prolog, такими как Visual Prolog и SWI-Prolog?

Заранее спасибо!

Answer 1

Трудно ошибиться, если вы начнете с SWI-Prolog. Хотя он медленнее, чем большинство обсуждаемых здесь альтернатив, он чрезвычайно надежен, имеет широкую поддержку библиотек, имеет приличную систему построения графического интерфейса (XPCE) и использует лицензию, которая позволяет использовать его в проприетарных приложениях.

Для большей скорости, простое преобразование большинства приложений SWI-Prolog без графического интерфейса пользователя для запуска под YAP Prolog.

Answer 2

Если скорость является наиболее важным аспектом, вы должны рассмотреть GNU-Prolog. Я недавно разработал с использованием Amzi! Пролог с Eclipse IDE (не путать с языком программирования ECLiPSe). Когда отладка была завершена, я переключил свое внимание на время. Портирование на SWI-Prolog и GNU-Prolog было довольно простым, как в Windows, так и в Linux, поскольку на тот момент код был довольно стандартным «ISO» Prolog. Мои тайминги показали амзи! и SWI были сопоставимы по скорости, а GNU-Prolog был значительно быстрее.

Также оказалось, что код проводит большую часть времени в одном разделе, который был очень числовым. Пока амзи! и SWI оба реализуют точную целочисленную арифметику с произвольной точностью, оказалось, что мои требования были в пределах целочисленных пределов в 32-битном GNU-Prolog.

Более того, GNU-Prolog было легко связать с переписыванием этого критического раздела в C. Гибридный код - это то, что я использую в производстве.

Answer 3

Вы можете получить хорошее начало, посмотрев это сравнение реализаций Пролога . Поскольку вы еще не поняли, каковы ваши цели, на какую платформу вы нацеливаетесь, каковы ваши требования, каков ваш опыт и т. Д., Я не могу предоставить больше информации.

---

Отредактировано, чтобы добавить:

В Википедии имеется хорошая сравнительная таблица реализаций Пролога. Это должно помочь вам в процессе принятия решений.

Answer 4

Я бы порекомендовал Amzil Prolog, потому что это GREAT Eclipse IDE Plugin. Вы найдете его здесь: Официальный сайт .

Answer 5

Здесь представлен анализ механизмов правил на основе производительности: http://sunysb.academia.edu/PaulFodor/Papers/349245/Openrulebench_An_Analysis_of_the_Performance_of_Rule_Engines

У меня много тестов, кажется, что YAP в целом быстрее, но XSB совсем не плохой. Если вы ищете межязыковое общение (с Java, C или другими), доступ к базе данных или табулирование (это были мои требования), XSB имеет внушительное количество сложных библиотек. Тем не менее, я нашел, что YAP проще в использовании (до настоящего времени я только начинаю давать XSB шанс:).