Date: Jul 1, 2013 5:38 PM
Author: INFINITY POWER
Subject: phpPRO  ADD( 1 , 1 , 2 ) !

http://phpprolog.com/ADD-1-1-2.png


Still a few bugs yet, but the AUTOMATIC PROOFS in Peano Arithmetic
are taking shape!



8 n 0
9 n [ s NUM ] :-
n NUM
10 add X 0 X
11 add X [ s Y ] [ s Z ] :-
add X Y Z


TRACE
add [s 0] [s 0] [s[s 0]] ?

HEAD 1
add X [ s Y ] [ s Z ]
TAIL 1
add X Y Z
add s 0 0 Z
HEAD 1
add X 0 X
MATCH
TRUE 1
MATCH



think it's missing a few steps! :-0


add [s 0] [s 0] [s[s 0]] ?
CHECK!


Herc
--
www.phpPROLOG.com