Base class to implement nullary math functions (with no arguments)
Enrico
the no arguments function name
Gets this wrapped primitive description Pair formed by signature and wrapped primitive type
A shorthand to get the signature functor name
Checked PrologFunction implementation