FOIL 6.4   [January 1996]
--------

    Options:
	verbosity level 0

Relation Ackermann

Relation *succ

----------
Ackermann:

Ackermann(0,B,C) :- succ(B,C).
Ackermann(A,0,C) :- succ(0,D), succ(E,A), Ackermann(E,D,C).
Ackermann(A,B,C) :- succ(D,A), succ(E,B), Ackermann(A,E,F), Ackermann(D,F,C).

Time 7.7 secs