Встроенный интерпретатор пролога / компилятор для Java

Я работаю над приложением на Java, которое должно делать некоторые сложные логические выводы в рамках своей функциональности. Я хотел бы закодировать мои логические выводы в Prolog или каком-либо другом языке программирования логики / ограничений вместо Java, так как я считаю, что полученный код будет значительно проще и более удобен в обслуживании.

Я гуглил для встроенных реализаций Java на Прологе и нашел их несколько, каждая из которых содержит очень мало документации. Мои (скромные) критерии выбора:

должен быть встраиваемым в Java (например, может быть связан с моим пакетом java вместо необходимости каких-либо собственных установок на внешние программы)простой интерфейс для использования из Java (для инициирования выводов, проверки результатов и добавления правил)Приведите хотя бы несколько примеров того, как его использоватьне обязательно должен быть Прологом, но другие языки программирования логики / ограничения с вышеуказанными критериями тоже подойдут мне.

Какие у меня есть варианты и каковы их преимущества и недостатки?

Ответы на вопрос(13)

Ваш ответ на вопрос