()
| 48 | static Term pair_a_b = new Compound("-", new Term[] { a, b }); |
| 49 | |
| 50 | static void test_1() { |
| 51 | System.out.print("test 1..."); |
| 52 | String t1 = "p(a)"; |
| 53 | if (!Query.hasSolution(t1)) { |
| 54 | System.out.println(t1 + " failed"); |
| 55 | // System.exit(1); |
| 56 | } |
| 57 | System.out.println("passed"); |
| 58 | } |
| 59 | |
| 60 | static void test_2() { |
| 61 | System.out.print("test 2..."); |