Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Re: THE SUCCESSOR OF DOG IS ANOTHER DOG. Like, Fido I is succeeded by FIDO II
4 views
Skip to first unread message
Graham Cooper
May 19, 2013, 7:22:54 PM5/19/13
to
On May 20, 8:17 am, Don Stockbauer <donstockba...@hotmail.com> wrote:
> Brilliant, eh??????
The Point is, given this program (i.e. Peano's 1st 2 Postulates)
8 isnumber 0
9 isnumber [ successor X ]
isnumber X
It demonstrates a FAILED BRANCH on the Logic Trace.
http://blockprolog.com/nat-s-dog.png
The fact is is a simple type check is only indicative of a partially
running PROLOG interpreter.
------------------------------
This Shows how PROLOG doesn't actually RUN ANY CODE AT ALL!
It pattern matches your command keyword by keyword
and finds matches to any procedures that may perform the task
and runs those procedures trial and error.
This is a Great Advantage for SETS of parallel code all lumped
together in the one PROGRAM_SET.
Pure PROLOG has 0 COMMANDS! You define all your own commands and
PROLOG just finds them.
Herc
> Brilliant, eh??????
The Point is, given this program (i.e. Peano's 1st 2 Postulates)
8 isnumber 0
9 isnumber [ successor X ]
isnumber X
It demonstrates a FAILED BRANCH on the Logic Trace.
http://blockprolog.com/nat-s-dog.png
The fact is is a simple type check is only indicative of a partially
running PROLOG interpreter.
------------------------------
This Shows how PROLOG doesn't actually RUN ANY CODE AT ALL!
It pattern matches your command keyword by keyword
and finds matches to any procedures that may perform the task
and runs those procedures trial and error.
This is a Great Advantage for SETS of parallel code all lumped
together in the one PROGRAM_SET.
Pure PROLOG has 0 COMMANDS! You define all your own commands and
PROLOG just finds them.
Herc
0 new messages