Algorithmen und Datenstrukturen Vorlesungsskript WS/SS 99-00

Auswertung: Beispiel 2
add(3,2,X)
(2)
add(3,y’,z’), suc(y’,2), suc(z’,X)
y’ = 1 (Fakt)
add(3,1,z’), suc(1,2), suc(z’,X)
(2)
add(3,y’’,z’’), suc(y’’,1) suc(z’’,z’), suc(z’,X)
y’’ = 0 (Fakt)
add(3,0,z’’), suc(0,1), suc(z’’,z’), suc(z’,X)
z’’ = 3 (Fakt)
add(3,0,3), suc(3,z’), suc(z’,X)
suc(3,4), suc(4,X)
true
(1) + z’ = 4
X = 5
273