PrologTerm.subterm function;
LPO constraint solving now possible for FOTerm and PrologTerm