Method test_6

src/examples/java/test/Test.java:137–159

()

	}

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

	static void test_7() {
		System.out.print("test 7...");