Ich arbeite an einer Anwendung in Java, die im Rahmen ihrer Funktionalität einige komplexe Ableitungen von Logikregeln vornehmen muss. Ich möchte meine Logik-Ableitungen in Prolog oder einer anderen Programmiersprache für Logik / Einschränkungen anstelle von Java codieren, da der resultierende Code meiner Meinung nach wesentlich einfacher und wartungsfreundlicher sein wird.

Ich habe nach eingebetteten Java-Implementierungen in Prolog gegoogelt und eine Anzahl von ihnen gefunden, jede mit sehr wenig Dokumentation. Meine (bescheidenen) Auswahlkriterien sind:

sollte in Java eingebettet werden können (z. B. kann mit meinem Java-Paket gebündelt werden, anstatt dass native Installationen in externen Programmen erforderlich sind)Einfache Benutzeroberfläche von Java aus (zum Einleiten von Ableitungen, Überprüfen von Ergebnissen und Hinzufügen von Regeln)Kommen Sie mit mindestens ein paar Beispielen, wie man es benutztmuss nicht unbedingt Prolog sein, aber andere Programmiersprachen mit den oben genannten Kriterien würden auch meinen Anforderungen entsprechen.

Welche Wahlmöglichkeiten habe ich und welche Vor- und Nachteile haben sie?