Pracuję nad aplikacją w Javie, która musi wykonywać pewne złożone dedukcje reguł logicznych w ramach swojej funkcjonalności. Chciałbym zakodować moje dedukcje logiczne w Prologu lub innym języku programowania logiki / ograniczeń zamiast Java, ponieważ uważam, że wynikowy kod będzie znacznie prostszy i łatwiejszy w utrzymaniu.

Poszukałem hasła do wbudowanych implementacji Javy w Prologu i znalazłem ich liczbę, z których każda zawiera bardzo mało dokumentacji. Moje (skromne) kryteria wyboru to:

powinien być osadzalny w Javie (np. może być dołączony do mojego pakietu java zamiast wymagać instalacji rodzimych na programach zewnętrznych)prosty interfejs do korzystania z Java (inicjowanie potrąceń, sprawdzanie wyników i dodawanie reguł)chodź z co najmniej kilkoma przykładami, jak go używaćniekoniecznie musi to być Prolog, ale inne języki programowania logicznego / ograniczającego z powyższymi kryteriami również będą odpowiadać moim potrzebom.

Jakie mam wybory i jakie są ich zalety i wady?