From Newsgroup: comp.lang.prolog
I'm trying to solve
X + Y = 5
X + 1 = Y
MEANWHILE... heres 2 + 3
-------
query :- ad [ s [ s 0 ] ] [ s [ s [ s 0 ] ] ] ANS
-------
---------- BEGIN 0 ---------
A = [ s [ s 0 ] ]
B = [ s [ s 0 ] ]
ANS = C
ad [ s [ s 0 ] ] [ s [ s [ s 0 ] ] ] ANS - ad A [ s B ] C
A = [ s [ s 0 ] ]
[ s B ]-->[ s [ s [ s 0 ] ] ]
A = [ s [ s 0 ] ]
[ s B ]-->[ s [ s [ s 0 ] ] ]
-------
ad A [ s B ] C :- ad [ s A ] B C
-------
---------- BEGIN 1 ---------
[ s A ]-->[ s [ s [ s 0 ] ] ]
B = [ s [ s 0 ] ]
A = [ s [ s [ s 0 ] ] ]
B = [ s 0 ]
C = C
ad [ s [ s [ s 0 ] ] ] [ s [ s 0 ] ] C - ad A [ s B ] C
A = [ s [ s [ s 0 ] ] ]
[ s B ]-->[ s [ s 0 ] ]
C = C
A = [ s [ s [ s 0 ] ] ]
[ s B ]-->[ s [ s 0 ] ]
C = C
-------
ad A [ s B ] C :- ad [ s A ] B C
-------
---------- BEGIN 2 ---------
[ s A ]-->[ s [ s [ s [ s 0 ] ] ] ]
B = [ s 0 ]
C = C
A = [ s [ s [ s [ s 0 ] ] ] ]
B = 0
C = C
ad [ s [ s [ s [ s 0 ] ] ] ] [ s 0 ] C - ad A [ s B ] C
A = [ s [ s [ s [ s 0 ] ] ] ]
[ s B ]-->[ s 0 ]
C = C
A = [ s [ s [ s [ s 0 ] ] ] ]
[ s B ]-->[ s 0 ]
C = C
-------
ad A [ s B ] C :- ad [ s A ] B C
-------
---------- BEGIN 3 ---------
[ s A ]-->[ s [ s [ s [ s [ s 0 ] ] ] ] ]
B = 0
C = C
A = [ s [ s [ s [ s [ s 0 ] ] ] ] ]
C = C
X = [ s [ s [ s [ s [ s 0 ] ] ] ] ]
C = X
YES
ANS = [ s [ s [ s [ s [ s 0 ] ] ] ] ]
--- Synchronet 3.20a-Linux NewsLink 1.114