Declarativa Declarativa
 

 

Java+Prolog (or close): systems and interfaces

Name (Prolog) URL of Java+Prolog interface documentation Type/description
Amzi http://www.amzi.com/manuals/amzi7/ls/lsajava.htm Native interface for one of the most "embeddable" Prologs. Java long integers used as pointers to term structures
B-Prolog http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog/manual/node79.html Based on JIPL; JNI
BinProlog http://www.binnetcorp.com/BinProlog/interface.html (see JINNI) 3-tier interface through C; JNI
BirdLand http://www.bird-land.com/java/jindex.html   (in Japanese ) Prolog engine in Java
CIAO Prolog http://www.clip.dia.fi.upm.es/Software/Ciao/ciao_html/ciao_toc.html Sockets-based, automatic conversion of simple types, no object serialization
DGKS Prolog http://www.geocities.com/SiliconValley/Campus/7816/ Prolog engine in Java
InterProlog (XSB) http://www.declarativa.com/interprolog/ Sockets/object serialization  interface
Jasper (Sicstus) http://www.sics.se/sicstus/docs/latest/html/sicstus.html/Jasper.html JNI-based interface
JavaLog http://www.exa.unicen.edu.ar/~azunino/javalog.html Prolog engine in Java
JPL (for SWI) http://sourceforge.net/projects/jpl/ JNI-based interface
JINNI http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html Interpreter for Prolog-like language in Java
JIPL (K-Prolog) http://kprolog.com/jipl/index_e.html, http://prolog.isac.co.jp/doc/en/jipl.html  (K-Prolog) JNI-based interface for K-Prolog
JIProlog http://www.ugosweb.com/jiprolog/index.shtml Prolog engine in Java
jProlog http://www.cs.kuleuven.ac.be/~bmd/PrologInJava/ Prolog engine in Java
Kiev http://www.forestro.com/kiev/ Java-Prolog hybrid, compiles into Java bytecode
LL http://www.uni-koblenz.de/~motzek/html/progsp/lleng.html Interpreter for Prolog-like language in Java
LLPj http://pascal.seg.kobe-u.ac.jp/~banbara/llpj/llpj.html Translator of LLP into Java (written in Prolog) + LLP runtime engine in Java
Mandarax http://mandarax.sourceforge.net/ Rule engine (backward deduction, non-Prolog) in Java
MINERVA http://www.ifcomputer.com/MINERVA/Manual/home_en.html Prolog engine in Java
PrologBeans http://www.sics.se/sicstus/docs/latest/html/sicstus.html/PrologBeans.html   Socket-based Java and .NET interface for Sicstus
Prolog Cafe http://kaminari.scitec.kobe-u.ac.jp/PrologCafe/index.html Prolog (actually Linear Logic Programming) to Java Translator+runtime libraries
Prolog IV http://prologianet.univ-mrs.fr/serveur-Java/projavaUs.ps (Prolog side)
http://prologianet.univ-mrs.fr/serveur-Java/tree.html (Java side)		 Sockets-based
Prova http://www.prova.ws/ Prolog/Java hybrid language
W-Prolog http://luke.wvhtf.org/~winikoff/wp/ Interpreter for Prolog-like language in Java
yajxb (XSB) http://www-db.stanford.edu/~stefan/rdf/yajxb/ JNI-based interface

For comments or additions to this list please send email to mc@declarativa.com

Page last edited on 30-Aug-05

 Declarativa - Serviços de Informática, Lda.
  www.declarativa.com, info@declarativa.com  fax: +351-22-030-1511  tel: +351-22-030-1578
UPTEC - Parque de Ciência e Tecnologia da Universidade do Porto (GoogleMap)
Rua Actor Ferreira da Silva 100 4200-298 Porto Portugal