public override Predicate exec( Prolog engine ) { engine.setB0(); Term a1, a2, a3; Predicate p1; a1 = arg1.Dereference(); Term[] h2 = {a1}; a2 = new StructureTerm(f1, h2); a3 = engine.makeVariable(); p1 = new Predicates.dollar_call_1(a3, cont); return new Predicates.Clause_2(a2, a3, p1); }
public override Predicate exec(Prolog engine) { engine.setB0(); Term a1, a2, a3; Predicate p1; a1 = arg1.Dereference(); Term[] h2 = { a1 }; a2 = new StructureTerm(f1, h2); a3 = engine.makeVariable(); p1 = new Predicates.dollar_call_1(a3, cont); return(new Predicates.Clause_2(a2, a3, p1)); }