CHECKPOINT OMEGA.

NEW: TermInteface protocol for PrologRule.
NEW: Some parts from the PrologConjunction, PrologDisjunction and PrologNegation.