Method test_4

src/examples/java/test/Test.java:80–102

()

	}

	static void test_4() {
		System.out.print("test 4...");
		Variable X = new Variable("X");
		Query q4 = new Query("p", new Term[] { X });
		Term[] target = new Term[] { a, f_a, pair_a_b, new Variable("_") };
		Map<String, Term>[] solutions = q4.allSolutions();
		if (solutions.length != 4) {
			System.out.println("p(X) failed:");
			System.out.println("\tExpected: 4 solutions");
			System.out.println("\tGot:      " + solutions.length);
			// System.exit(1);
		}
		for (int i = 0; i < solutions.length - 1; ++i) {
			Term binding = solutions[i].get("X");
			if (!binding.equals(target[i])) {
				System.out.println("p(X) failed");
				System.out.println("\tExpected: " + target[i]);
				System.out.println("\tGot:      " + binding);
				// System.exit(1);
			}
		}
		System.out.println("passed");
	}

	static void test_5() {
		System.out.print("test 5...");