use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Test method test_6.
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");
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Test method test_5.
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");
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Test method test_4.
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 = (Term) 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");
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Time method test_2.
static void test_2() {
Query query = new Query("noop", new Term[] { tree });
System.out.print("noop");
for (int i = 0; i < num_trials; ++i) {
timer.start();
query.oneSolution();
timer.stop();
data[2][i] = timer.getElapsedTimeInMillis();
System.out.print(".");
}
System.out.println("done");
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Time method test_4.
static void test_4() {
Variable Y = new Variable("Y");
Query query = new Query("noop_bind", new Term[] { tree, Y });
System.out.print("noop_bind");
for (int i = 0; i < num_trials; ++i) {
timer.start();
query.oneSolution();
timer.stop();
data[4][i] = timer.getElapsedTimeInMillis();
System.out.print(".");
}
System.out.println("done");
}
Aggregations