private static Term Cons(Term head, Term tail) { return(new Predicate("Cons", new List <Term> { head, tail })); }
private static Term Append(Term one, Term two, Term result) { return(new Predicate("Append", new List <Term> { one, two, result })); }