ADD: Math.clj.

By using PrologMethods, all built-in arithmetic functions will be described in this file. All these will be available in the Knowledge Base when the program is started.