Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
BLOCKPROLOG CALCULATES THE NUMBER 1 !!!
6 views
Skip to first unread message
Graham Cooper
May 15, 2013, 3:03:59 AM5/15/13
to
http://blockprolog.com/I-THINK-ITS-WORKING.png
The Query is
nat ( s(0) ) ?
---------------
Watch as the ONLINE PROLOG ENGINE
traces out the Path of 2 of Peano's Postulates
in deciding s(0) is a Natural Number!
Herc
--
www.BLoCKPROLOG.com
The Query is
nat ( s(0) ) ?
---------------
Watch as the ONLINE PROLOG ENGINE
traces out the Path of 2 of Peano's Postulates
in deciding s(0) is a Natural Number!
Herc
--
www.BLoCKPROLOG.com
0 new messages