Abstract
InterProlog is the first Prolog-Java interface to support multiple Prolog systems through the same API; currently XSB and SWI Prolog, with GNU Prolog and YAP under development — on Windows, Linux and Mac OS X. It promotes coarse-grained integration between logic and object-oriented layers, by providing the ability to bidirectionally map any class data structure to a Prolog term; integration is done either through the Java Native Interface or TCP/IP sockets. It is proposed as a first step towards a common standard Java + Prolog API, gifting the Java developer with the best inference engines, and the logic programmer with simple access to the mainstream object-oriented platform.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Calejo, M.: InterProlog, a declarative Java-Prolog interface. In: Procs. Logic Programming for Artificial Intelligence and Information Systems (thematic Workshop of the 10th Portuguese Conference on Artificial Intelligence), Porto (December 2001)
Calejo, M.: InterProlog: a simple yet powerful Java/Prolog interface, Computational Logic Magazine (December 1998), http://www.cs.ucy.ac.cy/compulog/dec98update/projects/interprolog.htm
Calejo, M.: Java+Prolog: A land of opportunities. In: Procs. The First International Conference on The Practical Application of Constraint Technologies and Logic Programming, London (1999) ISBN 1 902426 01 0
Declarativa: Java+Prolog Systems, http://www.declarativa.com/interprolog/systems.htm
Declarativa: Prolog API, http://www.declarativa.com/interprolog/systems.htm
Toussaint, A., et al.: JSR 94: JavaTM Rule Engine API, http://www.jcp.org/en/jsr/detail?id=094 (June 6, 2004)
XSB, Inc.: XJ Platform, http://www.xsb.com/techPlatforms.html (June 6, 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Calejo, M. (2004). InterProlog: Towards a Declarative Embedding of Logic Programming in Java. In: Alferes, J.J., Leite, J. (eds) Logics in Artificial Intelligence. JELIA 2004. Lecture Notes in Computer Science(), vol 3229. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30227-8_64
Download citation
DOI: https://doi.org/10.1007/978-3-540-30227-8_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23242-1
Online ISBN: 978-3-540-30227-8
eBook Packages: Springer Book Archive