Method test_9

src/examples/java/test/Test.java:222–246

()

	static Term test_9_solution = Term.termArrayToList(new Term[] { new Compound("-", new Term[] { a, a }), new Compound("-", new Term[] { a, b }) });

	static void test_9() {
		System.out.print("test 9...");
		String t9 = "bagof(X-Y, p(X,Y), XYs)";
		Map<String, Term>[] solutions = Query.allSolutions(t9);
		if (solutions.length != 1) {
			System.out.println(t9 + " failed:");
			System.out.println("\tExpected: 1 solution");
			System.out.println("\tGot:      " + solutions.length);
			// System.exit(1);
		}
		Term term = solutions[0].get("XYs");
		if (!term.isListPair()) {
			System.out.println(t9 + " failed:");
			System.out.println("\tExpected: XYs to be a List");
			System.out.println("\tGot:      " + term);
			// System.exit(1);
		}
		if (!term.equals(test_9_solution)) {
			System.out.println(t9 + " failed:");
			System.out.println("\tExpected: " + test_9_solution);
			System.out.println("\tGot:      " + term);
			// System.exit(1);
		}
		System.out.println("passed");
	}

	static void test_10() {
		System.out.print("test 10...");