Schrijf volgende predicaten voor de basis bewerkingen op de Peano getallen. Hierbij wordt 0 voorgesteld door 0
en 1 door s(0)
.
In het algemeen wordt 0
omringd door s/1
.
De predicaten die moeten worden geschreven zijn:
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 Merk op dat je met de Peano getallen enkel positieve getallen kunt voorstellen. Voor het implementeren van p_sub
mag je limiteren tot de positieve getallen. Probeer p_mul/3
te gebruiken om te delen. Lukt dat? Waarom wel/niet?