Schrijf het predicaat factorial/2 dat de faculteit van een Peanogetal uitrekent Bij de Peanogetallen wordt 0 voorgesteld door 0 en 1 door s(0). In het algemeen wordt \(n\) voorgesteld door een 0 omringd door \(n\) keer s/1.

In overeenstemming met de definitie van het lege product is afgesproken dat \(0! = 1\). Volgende predicaten zijn verondersteld gedefinieerd:

• p_add(A,B,C) als en slechts als \(A + B = C\)
• p_sub(A,B,C) als en slechts als \(A - B = C\)
• p_mul(A,B,C) als en slechts als \(A \cdot B = C\)
• p_exp(A,B,C) als en slechts als \(A^B = C\)