Start using more common coding style in prolog. ("Coding guidelines for
Prolog" related)
Adapt math functions to new style.