Prolog Cafe

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. 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.