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 c