В чем преимущества SWI-Prolog перед другими системами логического программирования?

Некоторые преимущества SWI-Prolog перед другими системами логического программирования:

• Поддержка многопоточности. 1 Это позволяет эффективно использовать многоядерное оборудование и упрощает встраивание в параллельные приложения. 1
• Индексация Just In Time Indexing (JITI). 1 Обеспечивает прозрачную и эффективную поддержку предикатов с миллионами предложений. 1
• Возможность перезагрузки кода. 1 SWI-Prolog позволяет безопасно перезагружать работающий код из другого потока, если не меняется подпись работающих предикатов. 1
• Снижение необходимости перезапускать серверы. 1 Инкрементальная компиляция в сочетании с локальными структурами данных позволяет исправлять ошибки в программе без перезагрузки. 1
• Поддержка подключения к различным сервисам. 1 SWI-Prolog предоставляет обширные библиотеки для HTTP, интерфейсы к Redis, STOMP и ROS2 и другие возможности. 1
• Портативность. 2 SWI-Prolog работает на платформах, которые предоставляют компилятор, совместимый с C99, и реализуют API POSIX/X11 или Win32/Win64. 2
• Хорошая документированность. 5 В интернете есть большое количество учебных курсов, учебников и примеров программ по работе с SWI-Prolog. 5