Method test_5

src/examples/java/test/Test.java:104–135

()

	}

	static void test_5() {
		System.out.print("test 5...");
		Variable X = new Variable("X");
		Variable Y = new Variable("Y");
		Query q5 = new Query("p", new Term[] { X, Y });
		Term[] x_target = new Term[] { a, a };
		Term[] y_target = new Term[] { a, b };
		Map<String, Term>[] solutions = q5.allSolutions();
		if (solutions.length != 2) {
			System.out.println("p(X, Y) failed:");
			System.out.println("\tExpected: 2 solutions");
			System.out.println("\tGot:      " + solutions.length);
			// System.exit(1);
		}
		for (int i = 0; i < solutions.length; ++i) {
			Term x_binding = solutions[i].get("X");
			if (!x_binding.equals(x_target[i])) {
				System.out.println("p(X, Y) failed:");
				System.out.println("\tExpected: " + x_target[i]);
				System.out.println("\tGot:      " + x_binding);
				// System.exit(1);
			}
			Term y_binding = solutions[i].get("Y");
			if (!y_binding.equals(y_target[i])) {
				System.out.println("p( X, Y ) failed:");
				System.out.println("\tExpected: " + y_target[i]);
				System.out.println("\tGot:      " + y_binding);
				// System.exit(1);
			}
		}
		System.out.println("passed");
	}

	static void test_6() {
		System.out.print("test 6...");