Prolog Cafe: A Prolog to Java Translator System
June 2009
Kobe University, JAPAN
Prolog Cafe is a Prolog-to-Java source-to-source translator system. Prolog programs are first translated into Java programs via the WAM (Warren Abstract Machine), and then those programs are compiled by a usual Java compiler such as SUN's JDK SE. Prolog Cafe has the advantages of portability, extensibility, and smooth interoperation with Java. For example, from the Java side, the translated code can be easily embedded into Java applications. From the Prolog side, any Java object can be represented as a Prolog term, and its methods and fields can be exploited from Prolog.
What's New
- 2009-06-24: Prolog Cafe version 1.2.5 is released.
- 2008-10-29: Prolog Cafe version 1.2.4 is released.
- 2008-07-09: Prolog Cafe version 1.1.11 is released.
- 2008-06-30: Prolog Cafe version 1.1.10 is released.
- 2008-06-30: Link collection for Prolog in Java is added.
- 2008-04-30: Prolog Cafe version 1.0.11 is released.
Features
Main features of Prolog Cafe are as follows:
- Open source software
- 100% pure Java
- Easily expandable with increasing Java class libraries
- Calling Prolog from Java
- Calling Java from Prolog
- Multi-threaded execution
- Module system based on Java package philosophy
Prolog Cafe is based on the translation method of
jProlog
developed by Bart Demoen and Paul Tarau.
Requirements
Prolog Cafe runs on any platform that supports Java.
Download
Documents
- Release Notes [HTML]
- User's Manual [HTML]
- Prolog Cafe API Specification [HTML]
- Tutorial
Japanese Documents (日本語)
- PrologからJavaへのトランスレータ処理系とその応用[PDF]
- 番原睦則，田村直之，井上克己
- コンピュータソフトウェア(日本ソフトウェア科学会)，Vol.24, No.3 (2007), pp.75-86
- [内容] Prolog Cafeのトランスレート方法を中心に書かれた論文です．
- Prolog Cafe: Java上で動作するProlog処理系[PDF]
- 田村直之，番原睦則
- 人工知能学会誌「研究のツールボックス(4)」，21巻4号(2006年7月), pp.B12/1-8
- [内容] Prolog Cafeの使い方，Javaとの連携方法を中心に書かれた技術論文で，サンプルコードも沢山あります．Unix系ユーザ，Windowsユーザのどちらの方にもお薦めです．
Demonstrations
License
Prolog Cafe (A Prolog to Java Translator System)
Copyright (C) 1997-2009 by Mutsunori Banbara and Naoyuki Tamura
Prolog Cafe is free software; you can redistribute it and/or modify
it under the terms of either:
- the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version, or
- the Eclipse Public License.
Related Projects
- Maglog
Is a framework for developing mobile agent systems.
- YOUR PROJECT.
Link collection
Ackn.
- This research was partially supported by the Ministry of Education, Science, Sports and Culture, Grant-in-Aid for Young Scientists (B), 19700025, 2007-2009.
- This research was partially supported by the Ministry of Education, Science, Sports and Culture, Grant-in-Aid for Young Scientists (B), 15700038, 2003-2005.
- This research was partially supported by METI and IPA under the grant of IPA Exploratory Software Project 2002-2004