TODO: Built-in and user Terms will be separated.
EDIT: Prove Fact rewritten and refined.

Knowledge-base is now named user-terms.
EDIT: Interpreter refined.

New Atom proving method: The Interpreter tries to prove the Atom directly,
by resolving it to the given Formula from the built-in-terms. If that
fails, it convers it to a Fact and proves by resolving it with the
user-terms.
ADD: Working math expressions.
NEW: Prolog Math works fine.
NEW: Interpreter now works with Prolog Disjunctions.
NEW: Interpreter and Parsers now work with Negation.