HomeJVM LanguageW-Prolog