Define natural numbers (including zero 'z'). Provide the prolog code for the following predicates listed below.

predecessor/2, the second parameter provides the predecessor to the first successor/2, the second parameter provides the successor to the first numeral/2, the second parameter gives the numerical value for the first addition/3, the third parameter gives the numbering scheme value of adding the first and second subtraction/3, the third parameter gives the numbering scheme value of subtracting the first and second multiplication/3, the third parameter gives the numbering scheme value of multiplying the first and second factorial/2, the second parameter gives the numbering scheme value of the factorial of the first equal/2, will answer true if the first and second parameter are equal and false otherwise greater/2, will answer true if the first parameter is greater than the second and false otherwise less/2, will answer true if the first parameter is less than the second and false otherwise predecessor/2, the second parameter provides the predecessor to the first successor/2, the second parameter provides the successor to the first numeral/2, the second parameter gives the numerical value for the first addition/3, the third parameter gives the numbering scheme value of adding the first and second subtraction/3, the third parameter gives the numbering scheme value of subtracting the first and second multiplication/3, the third parameter gives the numbering scheme value of multiplying the first and second factorial/2, the second parameter gives the numbering scheme value of the factorial of the first equal/2, will answer true if the first and second parameter are equal and false otherwise greater/2, will answer true if the first parameter is greater than the second and false otherwise less/2, will answer true if the first parameter is less than the second and false otherwise