1 package jpl.test; 2 3 import jpl.Query; 4 5 public class Ga { main(String argv[])6 public static void main(String argv[]) { 7 // Prolog.set_default_init_args(new String[] { "libpl.dll", "-f", "D:/pcm/bin/pcm.ini", "-g", "pcm_2000" }); 8 // (new Query("loadall(jpl_test:jr)")).hasSolution(); 9 // System.err.println("jr " + ((new Query("jr")).hasSolution() ? "succeeded" : "failed")); 10 // System.err.println( "something " + (new Query("statistics(atoms,X)")).oneSolution().get("X")); 11 // Query.hasSolution("statistics"); 12 // (new Query("x")).hasSolution(); 13 // (new Query("statistics,x")).hasSolution(); 14 // (new Query(new Atom("statistics"))).hasSolution(); 15 // Query.hasSolution("write(hello),nl"); 16 // Query.hasSolution("write(hello),nl"); 17 18 // (new Query("nl")).hasSolution(); 19 (new Query("nl,nl")).hasSolution(); 20 21 // (new Query("user:nl")).hasSolution(); 22 } 23 } 24