ADD: SCM-Prolog now has arithmetic.

Each arithmetic operation is created by using PrologMethods. In the query, an arithmetic operation is held by a PrologMath - a PrologStructure like object, only it only has two arguments. It is a specialy to match arithmetics.