Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

THE SUCCESSOR OF DOG IS ANOTHER DOG. Like, Fido I is succeeded by FIDO II

8 views
Skip to first unread message

Don Stockbauer

unread,
May 19, 2013, 6:17:08 PM5/19/13
to
Brilliant, eh??????

Graham Cooper

unread,
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


Message has been deleted

Don Stockbauer

unread,
May 19, 2013, 10:10:05 PM5/19/13
to
I really enjoyed Curt's and JC's discussions. This Prolog thing is wearing very thin. What are other thoughts on this?
Message has been deleted

Don Stockbauer

unread,
May 20, 2013, 1:23:35 PM5/20/13
to
I dont know, Nic. Are you getting a puppy?
Message has been deleted
Message has been deleted
Message has been deleted
Message has been deleted

me

unread,
May 20, 2013, 6:34:44 PM5/20/13
to
Its clear that there are never enough wealthy men. Men pay for
everything, women who marry without money have no protection for their
children or herself when or if she becomes abandoned. By giving a
woman the right to equal wage, & often a decent education, she can now
look forward to choosing who she wants to have a baby with + she has
30 choices in a bar on one evening !.

All 32 blokes have billions upon billions of sperms in the few hours
when the bar is open. To further reduce the possiblity of marriage
beneath themselves or clashes between cultures, vice opportunities, or
faith disruptions, all the men decide they'd much sooner stay home,
watch a bad old movie, rather than fight between one another for the
58 ovums. 106 ovums in 1 months dating at the same bar. The bar
secondly splits colour ways, further reducing a massive selection.

How is it the women who has less than 1 in 10 of conception is now
accused of having abnormal 32X sex drive on one evening for a few
hours at the bar?... just a thought

Don Stockbauer

unread,
May 21, 2013, 7:08:22 AM5/21/13
to
These are mysteries we shall learn when we die.
Message has been deleted
Message has been deleted

me

unread,
May 21, 2013, 8:29:34 AM5/21/13
to
by the ways.. you're up and about early ! lol

Don Stockbauer

unread,
May 21, 2013, 11:52:54 AM5/21/13
to
On Tuesday, May 21, 2013 7:29:34 AM UTC-5, me wrote:
> by the ways.. you're up and about early ! lol

Hell, why not. Just keeping an eye on my favorite group here, the one which used to deal with AI.
Message has been deleted
Message has been deleted
Message has been deleted
Message has been deleted

Graham Cooper

unread,
May 21, 2013, 8:29:51 PM5/21/13
to
what AI ?


Herc
--
www.BLOCKPROLOG.com
Message has been deleted
Message has been deleted
Message has been deleted
Message has been deleted
Message has been deleted

Graham Cooper

unread,
May 21, 2013, 10:33:12 PM5/21/13
to
On May 22, 11:03 am, me <me154...@gmail.com> wrote:
> Like I've had a bad time to defend female heterosexuality for human
> reproduction as 1 in 10 so far... can't you figure new graphics or any
> new number glyph  calculations for physics outsize Einstein? (who was
> doubling up his theory alone?)..if it was his theory nover his wife or
> he hadnt nicked it from a patent offices, why?
>

You just need to get out more! Try a basketball game..

Herc
--
www.BLoCKPROLOG.com
Message has been deleted
0 new messages