HomeJVM LanguageGNU Prolog for Java