Mutsunori Banbara Naoyuki Tamura Katsumi Inoue Prolog Cafe : A Prolog to Java Translator System. 1-11 2005 conf/inap/2005 INAP http://dx.doi.org/10.1007/11963578_1 db/conf/inap/inap2005.html#BanbaraTI05