use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class TestJUnit method testStackedQueries1.
public void testStackedQueries1() {
StringBuffer sb = new StringBuffer();
Query q = new Query("atom_chars(prolog, Cs), member(C, Cs)");
Map<String, Term> soln;
q.open();
while ((soln = q.getSolution()) != null) {
Atom a = (Atom) soln.get("C");
if (Query.hasSolution("memberchk(?, [l,o,r])", new Term[] { a })) {
// this
// query
// opens
// and
// closes
// while
// an
// earlier
// query
// is
// still
// open
sb.append(((Atom) soln.get("C")).name());
}
}
// q will have been closed by the final
assertTrue(!q.isOpen());
// getSolution()
assertEquals("rolo", sb.toString());
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class TestJUnit method testIsJNull1.
public void testIsJNull1() {
Term atNull = new Compound("@", new Term[] { new Atom("null") });
Query q = new Query("=", new Term[] { new Variable("X"), atNull });
assertTrue(q.oneSolution().get("X").isJNull());
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class TestJUnit method testOpen2.
public void testOpen2() {
Query q = new Query("fail");
q.open();
assertTrue("a newly opened query which has no solutions is open", q.isOpen());
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class Versions method main.
public static void main(String[] argv) {
System.out.println("command line args: (" + argv.length + ")");
for (int i = 0; i < argv.length; i++) {
System.out.println(" argv[" + i + "]: " + argv[i]);
}
System.out.println();
System.out.println("old (built in) default init args:");
String[] defaultInitArgsOld = org.jpl7.JPL.getDefaultInitArgs();
for (int i = 0; i < defaultInitArgsOld.length; i++) {
System.out.println(" arg[" + i + "]: " + defaultInitArgsOld[i]);
}
System.out.println();
String[] defaultInitArgsNew1;
if (argv.length == 1 && argv[0].equals("traditional")) {
defaultInitArgsNew1 = new String[] { "swipl", "-g", "true", "--nosignals", "--traditional" };
} else {
defaultInitArgsNew1 = new String[] { "swipl", "-g", "true", "--nosignals" };
}
org.jpl7.JPL.setDefaultInitArgs(defaultInitArgsNew1);
System.out.println("new (stashed) default init args:");
String[] defaultInitArgsNew2 = org.jpl7.JPL.getDefaultInitArgs();
for (int i = 0; i < defaultInitArgsNew2.length; i++) {
System.out.println(" arg[" + i + "]: " + defaultInitArgsNew2[i]);
}
System.out.println();
if (!(new Query("consult", new Atom("jpl/test/Versions.pl"))).hasSolution()) {
System.out.println("Warning: failed to consult Versions.pl");
System.out.println();
}
// String swiplHome = ((Term) (new
// Query("current_prolog_flag(home,Home)")).oneSolution().get("Home")).name();
// System.out.println(" SWI-Prolog home dir: " + swiplHome );
System.out.println("home1 = " + (new Atom("c:/swipl-7.1.26")).toString());
Query q1 = new Query("current_prolog_flag", new Term[] { new Atom("home"), new Variable("Home") });
Map<String, Term> h1 = q1.oneSolution();
Term home = (Term) h1.get("Home");
// System.out.println("Home = " + home.debugString());
System.out.println("Home = " + home.toString());
try {
URL jarPathJpl = Class.forName("org.jpl7.JPL").getProtectionDomain().getCodeSource().getLocation();
System.out.println("package jpl loaded from: " + jarPathJpl);
} catch (ClassNotFoundException e) {
System.out.println("org.jpl7.JPL not found");
}
String prologVersion = ((Term) (new Query("jpl_pl_lib_version(V)")).oneSolution().get("V")).name();
System.out.println(" prolog library version: " + prologVersion);
String javaVersion = org.jpl7.JPL.version_string();
System.out.println(" java library version: " + javaVersion);
String cVersion = org.jpl7.fli.Prolog.get_c_lib_version();
System.out.println(" c library version: " + cVersion);
System.out.println(" SWI Prolog syntax: " + org.jpl7.fli.Prolog.get_syntax());
// if ( prologVersion.equals(javaVersion) &&
// javaVersion.equals(cVersion) ) {
// System.out.println("BINGO! you appear to have the same version of
// each library installed");
// } else {
// System.out.println("WHOOPS! you appear not to have the same version
// of each library installed");
// }
System.out.println();
}
use of org.hypertrace.entity.data.service.v1.Query in project packages-jpl by SWI-Prolog.
the class TestOLD method test10l.
private static void test10l() {
Query q5 = new Query(new Compound("length", new Term[] { new Variable("Zs"), new org.jpl7.Integer(5) }));
Map<String, Term> s5 = q5.oneSolution();
System.err.println("test10l:");
System.err.println(" length(Zs,5)");
System.err.println(" " + Util.toString(s5));
System.err.println(" Zs = " + (Term) s5.get("Zs"));
System.err.println();
}
Aggregations