()
| 33 | } |
| 34 | |
| 35 | static void test_0() { |
| 36 | System.out.print("test 0..."); |
| 37 | String t0 = "consult('test.pl')"; |
| 38 | if (!Query.hasSolution(t0)) { |
| 39 | System.out.println(t0 + " failed"); |
| 40 | // System.exit(1); |
| 41 | } |
| 42 | System.out.println("passed"); |
| 43 | } |
| 44 | |
| 45 | static Term a = new Atom("a"); |
| 46 | static Term b = new Atom("b"); |