EDIT: All basic multimethods are done.

NEW: PrologRule, PrologFact, PrologConjunction, PrologDisjunction, PrologNegation, PrologExpression and PrologFormula methods.

The resolve and unify multimethods are not yet written for each possible Term.