public List<FOLNode> getArgs() { return getTerms().ToList<FOLNode>(); }
// // START-FOLVisitor public Object visitPredicate(Predicate p, Object arg) { foreach (Term t in p.getArgs()) { // Finish processing if have found a match if (null != matchingTerm) { break; } t.accept(this, null); } return p; }