The SUCCESSOR of DOG is NOT a NUMBER!

[Graham Cooper]

TRACE
nat [ s dog ]?

TRY 1
nat [ s X ]
TAIL 1
nat X
nat dog
FALSE 1
MISMATCH



STACK: 1 - X1 - R - dog
NOT FOUND!



--------

But don't take my word for it!

Consider it FORMALLY PROVEN!

http://blockprolog.com/nat-s-dog.png

[Graham Cooper]

On May 18, 7:47 pm, me <me154...@gmail.com> wrote:
> no.. its some kind of tessellation event before a number I should
> think

but a concept dog doesnt exist in time either..

Prolog uses Negation As Failure for the negative result.

If I added

3 nat dog

then the result would change from "NOT FOUND!'
to 'CONFIRM!'

Blake's 7 fan here!
Herc


--

IS DOG+1 a NUMBER ?

http://blockprolog.com/nat-s-dog.png