tests of Java bindings to SWI-Prolog