Message-ID:

The computing field is always in need of new cliches. -- Alan Perlis

devel / comp.lang.prolog / Re: About the Operator '|' and the DCG Draft

Re: About the Operator '|' and the DCG Draft

<870d9bb1-4c0f-41a2-8430-99abd733eed1n@googlegroups.com>

https://www.novabbs.com/devel/article-flat.php?id=9873&group=comp.lang.prolog#9873

copy link Newsgroups: comp.lang.prolog

X-Received: by 2002:a05:620a:43a5:b0:69b:ed4a:4061 with SMTP id a37-20020a05620a43a500b0069bed4a4061mr3447494qkp.229.1649501473072;
Sat, 09 Apr 2022 03:51:13 -0700 (PDT)
X-Received: by 2002:a5b:f83:0:b0:63d:a251:2c51 with SMTP id
q3-20020a5b0f83000000b0063da2512c51mr15868517ybh.594.1649501472880; Sat, 09
Apr 2022 03:51:12 -0700 (PDT)
Path: i2pn2.org!i2pn.org!aioe.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.prolog
Date: Sat, 9 Apr 2022 03:51:12 -0700 (PDT)
In-Reply-To: <d8530517-401e-46ec-84f3-7f09c8dd70f5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=77.57.53.70; posting-account=UjEXBwoAAAAOk5fiB8WdHvZddFg9nJ9r
NNTP-Posting-Host: 77.57.53.70
References: <27a911c0-3a2f-4054-81e5-bad9d8320750n@googlegroups.com>
<6ed26ce6-eaca-44f4-8c47-ff065227259bn@googlegroups.com> <2f729e39-7a7c-4079-9b34-08e080c6b242n@googlegroups.com>
<1a2d52b2-52ae-41c8-ad97-07dd4d07c264n@googlegroups.com> <296a2193-cea2-4aa1-a6de-eee173404568n@googlegroups.com>
<1f6e60c8-e8b2-42b8-9ca8-d1688ab1da26n@googlegroups.com> <b73e5ef2-93d6-4d30-ab36-d5fcb45531b8n@googlegroups.com>
<163a9271-9d06-4fbc-8d3c-1903bd8733bdn@googlegroups.com> <c07fe58b-ca4d-44d1-a716-1790a2033be0n@googlegroups.com>
<82d76042-37a3-44ab-addc-3784060038ccn@googlegroups.com> <9f1d1d60-7c54-4c2d-a655-04b651565d0bn@googlegroups.com>
<0d15e64d-f537-4313-b637-cdd0f66a1761n@googlegroups.com> <52b84705-714c-4248-b85b-a643413b7ff3n@googlegroups.com>
<0152c446-3e8e-4e4f-807c-51e913f95708n@googlegroups.com> <c7ee2838-d75c-4807-982a-fd3567d82374n@googlegroups.com>
<a0dd0b5f-b459-48d3-842b-675f9712c902n@googlegroups.com> <7950d178-a688-4122-ab3a-c5105359632cn@googlegroups.com>
<d8530517-401e-46ec-84f3-7f09c8dd70f5n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <870d9bb1-4c0f-41a2-8430-99abd733eed1n@googlegroups.com>
Subject: Re: About the Operator '|' and the DCG Draft
From: burse...@gmail.com (Mostowski Collapse)
Injection-Date: Sat, 09 Apr 2022 10:51:13 +0000
Content-Type: text/plain; charset="UTF-8"

by: Mostowski Collapse - Sat, 9 Apr 2022 10:51 UTC

Now I found a test case where SWI-Prolog and
Scryer Prolog differ in parsing:

/* SWI-Prolog */
?- op(9,fy,fy), op(9,yfx,yfx).
true.

?- X = (fy 1 yfx 2), write_canonical(X), nl.
yfx(fy(1),2)

But then:

/* Scryer Prolog */
?- op(9,fy,fy), op(9,yfx,yfx).
true.

?- X = (fy 1 yfx 2), write_canonical(X), nl.
fy(yfx(1,2))

Was worried what Dogelog Player does. But it seems Dogelog Player
sides with Scryer Prolog, also GNU Prolog, Tau Prolog and
formerly Jekejeke Prolog do.

Subject	Author
About the Operator '\|' and the DCG Draft	Mostowski Collapse