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
}));
}
