Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

There are new messages.


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

SubjectAuthor
o About the Operator '|' and the DCG DraftMostowski Collapse

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

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

  copy mid

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.


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor