Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: phpPRO ADD( 1 , 1 , 2 ) !
Replies: 1   Last Post: Jul 1, 2013 5:47 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
INFINITY POWER

Posts: 117
Registered: 11/1/11
phpPRO ADD( 1 , 1 , 2 ) !
Posted: Jul 1, 2013 5:38 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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





Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.