op = new ListTerm(SymbolTerm.makeSymbol("clo"), op);
}
Term[] args = { new ListTerm(prolog, new ListTerm(wam,
new ListTerm(op, Prolog.Nil))) };
// Create predicate
Class clazz = new PrologClassLoader().loadPredicateClass(
"jp.ac.kobe_u.cs.prolog.compiler.pl2am", "pl2am", 1, true);
Predicate code = (Predicate) clazz.newInstance();
// Translate Prolog into WAM
PrologControl p = new PrologControl();
p.setPredicate(code, args);