Message-ID:

"The four building blocks of the universe are fire, water, gravel and vinyl." -- Dave Barry

devel / comp.lang.prolog / Re: World Logic Day - A Programmers Riddle

World Logic Day - A Programmers Riddle

<tq6cmq$16ups$1@solani.org>

https://news.novabbs.org/devel/article-flat.php?id=2786&group=comp.lang.prolog#2786

copy link Newsgroups: comp.lang.prolog

Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: janburse@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: World Logic Day - A Programmers Riddle
Date: Tue, 17 Jan 2023 15:52:11 +0100
Message-ID: <tq6cmq$16ups$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 17 Jan 2023 14:52:10 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1276732"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Firefox/91.0 SeaMonkey/2.53.15
Cancel-Lock: sha1:ywyS9CRk8KqoOb7pip+o+V++OVo=
X-User-ID: eJwFwQkBwDAIA0BLfAEqp6TDv4TdwVOTFYkMLFbcZeZSHjiDkL7VXD62qpd5LXgSx6bDPlM3qxOTT3Tj9g9SCxTx
X-Mozilla-News-Host: news://news.solani.org:119

by: Mostowski Collapse - Tue, 17 Jan 2023 14:52 UTC

Which C code runs faster:

Variant 1:

if (!(A || B))
foo;
else
bar;

Variant 2:

if (!A && !B)
foo;
else
bar;

https://en.wikipedia.org/wiki/World_Logic_Day

Re: World Logic Day - A Programmers Riddle

<b7867401-4adc-458f-8438-4a809a0efe7cn@googlegroups.com>

copy mid

https://news.novabbs.org/devel/article-flat.php?id=2797&group=comp.lang.prolog#2797

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a37:de0f:0:b0:705:b29d:c666 with SMTP id h15-20020a37de0f000000b00705b29dc666mr1776701qkj.462.1674655351690;
Wed, 25 Jan 2023 06:02:31 -0800 (PST)
X-Received: by 2002:aca:2108:0:b0:364:fc0f:5e60 with SMTP id
8-20020aca2108000000b00364fc0f5e60mr1528189oiz.33.1674655351103; Wed, 25 Jan
2023 06:02:31 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Wed, 25 Jan 2023 06:02:30 -0800 (PST)
In-Reply-To: <tq6cmq$16ups$1@solani.org>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.44; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.44
References: <tq6cmq$16ups$1@solani.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b7867401-4adc-458f-8438-4a809a0efe7cn@googlegroups.com>
Subject: Re: World Logic Day - A Programmers Riddle
From: bursejan@gmail.com (Mostowski Collapse)
Injection-Date: Wed, 25 Jan 2023 14:02:31 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 30

by: Mostowski Collapse - Wed, 25 Jan 2023 14:02 UTC

With these continuation values like NaN,
the ! operator elimination is not that easy.
We do not have anymore:

! (X <= Y) :<=> (X > Y)

Here is a counter example, so code generator
would need to generate a different code,
than simply placing (<)/2:

! (NaN =< 1.0) --> true
NaN > 1.0 --> false

Mostowski Collapse schrieb am Dienstag, 17. Januar 2023 um 15:52:12 UTC+1:
> Which C code runs faster:
>
> Variant 1:
>
> if (!(A || B))
> foo;
> else
> bar;
>
> Variant 2:
>
> if (!A && !B)
> foo;
> else
> bar;
>
> https://en.wikipedia.org/wiki/World_Logic_Day

Subject	Author
World Logic Day - A Programmers Riddle	Mostowski Collapse
World Logic Day - A Programmers Riddle	Mostowski Collapse