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
Re: phpPRO ADD( 1 , 1 , 2 ) !
Posted: Jul 1, 2013 5:47 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

"INFINITY POWER" wrote ...

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




It missing the variable binding [s Z] <=> [s[s 0]]

Should be:
add X Y Z
add [s 0] 0 [s 0]


as the Sub-Goal!

i.e. 1+1+2
IF 1+0=1 (Sub-Goal)



Herc
--
www.phpPROLOG.com (b)eta






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.