Method test_8

src/examples/java/test/Test.java:204–217

()

	}

	static void test_8() {
		System.out.print("test 8...");
		// Variable X = new Variable("X");
		// Query query = new Query("r", new Term[] { new Compound("f", new Term[] { X, X }), X });
		String t8 = "r(f(X,X), X)";
		Map<String, Term>[] solutions = Query.allSolutions(t8);
		if (solutions.length != 2) {
			System.out.println(t8 + " failed:");
			System.out.println("\tExpected: 2 solutions");
			System.out.println("\tGot:      " + solutions.length);
			// System.exit(1);
		}
		System.out.println("passed");
	}

	// corresponds with Prolog List: [a-a,a-b]
	static Term test_9_solution = Term.termArrayToList(new Term[] { new Compound("-", new Term[] { a, a }), new Compound("-", new Term[] { a, b }) });