Prolog 2 Java