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 0
omringd door s/1
.
In overeenstemming met de definitie van het lege product is afgesproken dat
p_add(A,B,C)
als en slechts als p_sub(A,B,C)
als en slechts als p_mul(A,B,C)
als en slechts als p_exp(A,B,C)
als en slechts als