import jpl.Variable;
public class TestSwiplJpl {
public static boolean testExternalCallAst () {
Variable N = new Variable("N");
jpl.Integer One = new jpl.Integer(1);
jpl.Integer Thirteen = new jpl.Integer(13);
Query q = new Query(
new Compound(";", new Term[]{
new Compound("succ", new Term[] { Thirteen, N}),