Какой из лучших среди Visual Prolog, SWI-Prolog и других?

Ответ 1

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

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

Ответ 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. Гибридный код - это то, что я использую в производстве.

Ответ 3

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

Отредактировано для добавления:

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

Ответ 4

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

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

Ответ 5

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