Embedded Prolog Interpreter/Compiler für Java

Question

Ich arbeite an einer Anwendung in Java, die einige komplexe logische Regelabzüge als Teil ihrer Funktionalität tun muss. Ich möchte meine Logikableitungen in Prolog oder einer anderen Logik-/Constraint-Programmiersprache anstelle von Java codieren, da ich glaube, dass der resultierende Code wesentlich einfacher und wartungsfreundlicher sein wird.

Ich googelte für eingebettete Java-Implementierungen auf Prolog und fand eine Anzahl von ihnen, jede mit sehr wenig Dokumentation. Meine (bescheiden) Auswahlkriterien sind:

• in Java embeddable sein sollte (zB mit meinem Java-Paket werden kann, anstatt dass irgendwelche nativen Installationen auf externe Programme gebündelt)
• einfache Schnittstelle von Java verwenden (für Initiieren Abzüge, die Kontrolle Ergebnisse und das Hinzufügen von Regeln)
• kommen mit mindestens einige Beispiele, wie man es verwenden
• nicht unbedingt Prolog sein müssen, aber auch andere Logik/Einschränkungs Programmiersprachen mit den oben genannten Kriterien passen würde meine Bedürfnisse auch.

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

Answer 1

Die folgenden Versionen von Prolog verfügen gemäß Wikipedia über Java-Schnittstellen. Ich habe für sie zu den wichtigsten Seiten verlinkt:

• BProlog
• Ciao Prolog
• SICStus Prolog
• SWI Prolog
• TuProlog (implementiert in Java)
• LPA Prolog

Viel Glück bei Ihrer Suche!

Answer 2

SWI-Prolog Eine sehr populäre Implementierung scheint eine Java interface as does SiCStus zu haben, die einfacher wäre als die Verwendung von JNI, um eine Instanz in Ihrem Java-Prozess zu instanziieren. Ich habe beide schon vor einiger Zeit benutzt und empfehle sie. Meine Präferenz wäre SWI, da es open-source ist und aus meiner Erfahrung die de facto Implementierung.

Die Dokumentation für die SWI-Java-Schnittstelle scheint angemessen zu sein, und der Einbettungsprozess ist ziemlich einfach.

Answer 3

Amzi prolog gibt es schon seit einiger Zeit. Ich habe es kurz benutzt, aber nicht die Embedded-Version. Sie haben jedoch eine gute Dokumentation und es kann Support gekauft werden. Sie haben Java-Port, so dass es einen Blick wert sein könnte.

Answer 4

Ich musste das gleiche vor 2 Jahren tun. Ich habe SWI interface which is called JPL verwendet. Sie können eine Prolog-Datei laden, auf ihr setzen und danach abfragen. Es erfordert eine Installation von SWI Prolog, aber das ist überhaupt kein Problem. SWI Prolog ist available for many platforms.

Ich habe auch Alternativen ausprobiert, die zu 100% in Java implementiert waren und keine externen Programme benötigten. Alle waren buggy oder schwer zu gebrauchen. Verschwende keine Zeit.

Answer 5

Prova 3.0 http://www.prova.ws nähert sich der Fertigstellung. Es ist jedoch nicht nur ein weiterer Prolog, sondern eine Mischung aus Programmierstilen, insbesondere nützlich für die einfache bidirektionale Java-Integration, reaktive Agentenprogrammierung, Integration mit ESBs, Workflow-Logik und Ereignisverarbeitung. Diese Version ist eine komplette Neuschreibung von Null, daher fehlen einige ältere Funktionen, wie die OWL-Integration, die aber in der nächsten Revision zurückkehren müssen.

Answer 6

Es gibt Mini-Kanren for Scala, die Ihnen eine native JVM-Implementierung einer schlanken, hackbaren, modernen Horn-Klausel-basierten Logik-Programmiersprache bietet.

Answer 7

LPA funktioniert die LPA Intelligence Server als eine Möglichkeit bieten, die Einbettung seinen Prolog-Engine in einer ganzen Reihe von Mainstream-Sprachen wie Java, .Net etc.

Clive

http://www.lpa.co.uk/int.htm

Answer 8

Eine weitere lohnende Option I vor kurzem kam JSetL. Es ist kein Prolog, sondern eine Constraint-Programmierbibliothek für Java, mit Unterstützung für Logikvariablen, Vereinheitlichung, Constraint-Lösung und Nicht-Determinismus.

http://prmat.math.unipr.it/~gianfr/JSetL/index.html

Answer 9

Es gibt eine Reihe von Prolog-Implementierungen in Java. Sie sind nicht furchtbar schnell, aber bequem aus Java zu verwenden. Beispiele sind: TuProlog oder PrologCafe Sie auch einen Blick auf die folgenden Bachelorarbeit zum Thema Execution and Analysis of Prolog Programs in Java haben.

Answer 10

Sie können auch einen Blick auf the Prol engine werfen, die ich erstellt habe. Es erlaubt Ihnen, Prolog in Ihre Java-Programme einzubetten (aber es ist nicht sehr schnell)

Answer 11

Zwei kommerzielle Prologs in Java geschrieben: Minerva von IF Computer Japan und Jekejeke. Beide sind sehr nah an ISO.

Answer 12

Clojure ist eine JVM-basierte Lisp-ähnliche Sprache mit einer Bibliothek (core.logic), die Logik- und Constraint-basierte Programmierung unterstützt. Clojure hat auch eine große Anzahl von Einrichtungen zum Erzeugen von Java-Klassen und working with java code, so dass Interoperabilität zwischen den beiden Sprachen trivial ist.

Answer 13

Prof. Paul Tarau zur Verfügung gestellt von his page mehrere Implementierungen

Jinni Prolog

Kernel Prolog