Comments on: Logic

By: Regina

Regina — Tue, 14 Jul 2009 14:32:47 +0000

Mateusz,
Me thinks you’ve been staring at a screen too long. Its all about context. That’s what separates humans from computers. Hmm I wonder if that’s what separates real people from geeks too. :)

By: mloskot

mloskot — Sat, 27 Jun 2009 22:29:50 +0000

Tyler,

This is the very truth :-)

By: Tyler

Tyler — Sat, 27 Jun 2009 05:17:31 +0000

I think the problem also shows that not all people can do the shopping too ;-) hehe

By: mloskot

mloskot — Fri, 26 Jun 2009 01:05:39 +0000

Eric,

Hehe, isn’t it too radical? By the way, my wife does not mind whether I have some beer, so assuming the execution does not fall into divorce case, I’d replace 12 eggs with 10, 1 flower – let’s leave as is, and add 2 beers. Yes. looks good now :-)

By: mloskot

mloskot — Fri, 26 Jun 2009 01:02:24 +0000

Paul,

This is an interesting insight that could be tweaked to if eggs buy(sausages) && buy(beer, 10);

By: Eric Wolf

Eric Wolf — Thu, 25 Jun 2009 16:09:41 +0000

FYI: Your comments don’t allow Pythonic code blocks. Indentation is stripped.

By: Eric Wolf

Eric Wolf — Thu, 25 Jun 2009 16:08:25 +0000

if (requester == wife) then 
    expect_valid_inferences_and_correct_reasoning = False
else
    divorce = True

if (divorce == True)
   buy(beer, 12)
else
   buy(sausages, 10)
   buy(eggs, 12)
   buy(flowers, 1)

P.S. Sum of five + ten = fifteen, not 15.

By: Paul Spencer

Paul Spencer — Thu, 25 Jun 2009 14:57:21 +0000

buy(sausages,2); // sausages is plural, need to buy 2 otherwise its a sausage
if eggs then buy(sausages,8); // if you find eggs, you better come home with 10 sausages!