GNU Prolog for Java