Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

"I prefer to think that God is not dead, just drunk" -- John Huston


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

SubjectAuthor
* About the Operator '|' and the DCG DraftMostowski Collapse
`- About the Operator '|' and the DCG DraftMostowski Collapse

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

<t4ja44$1lfep$1@solani.org>

  copy mid

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

  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: janbu...@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: About the Operator '|' and the DCG Draft
Date: Sat, 30 Apr 2022 14:29:58 +0200
Message-ID: <t4ja44$1lfep$1@solani.org>
References: <27a911c0-3a2f-4054-81e5-bad9d8320750n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Apr 2022 12:29:56 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1752537"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.11.1
Cancel-Lock: sha1:JvuXhXGj4fZpXV6lbSPjOLAOxYI=
In-Reply-To: <27a911c0-3a2f-4054-81e5-bad9d8320750n@googlegroups.com>
X-User-ID: eJwFwQkBwDAIA0BLpYHA5PAU/xJ2Z6CwXWlUW9ue0n2MW+TxCAxEak8ant9+34FVisRC2zdtijo7gFzzmz9ZKxWG
 by: Mostowski Collapse - Sat, 30 Apr 2022 12:29 UTC

This is an interesting pPEG example bug. Actually I wanted to hunt
parenthesis parsing bugs, so I was up to generating some test cases that
contain parenthesis. But this test case doesn’t contain any parenthesis,

but it seems a binary infix operator is parsed as an unary functor?

?- string_termList(":- x0 =:= :- x1 - x2 .", [Y]), write_canonical(Y), nl.
:-(:-(=:=(x0),-(x1,x2)))
Y = (:- (=:=(x0):-x1-x2)).

I am still using pPEG from 14.04.2022. How do I do a package update?

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

<t4ja5f$1lfep$2@solani.org>

  copy mid

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

  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: janbu...@fastmail.fm (Mostowski Collapse)
Newsgroups: comp.lang.prolog
Subject: Re: About the Operator '|' and the DCG Draft
Date: Sat, 30 Apr 2022 14:30:41 +0200
Message-ID: <t4ja5f$1lfep$2@solani.org>
References: <27a911c0-3a2f-4054-81e5-bad9d8320750n@googlegroups.com>
<t4ja44$1lfep$1@solani.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 30 Apr 2022 12:30:39 -0000 (UTC)
Injection-Info: solani.org;
logging-data="1752537"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:68.0) Gecko/20100101
Firefox/68.0 SeaMonkey/2.53.11.1
Cancel-Lock: sha1:eJqY7/z0Utp/eLIGFkg818Q8pPw=
X-User-ID: eJwFwQkBACAIA8BK4hhPHUD6R/COMLF2NZpyuYlHjuvWpJ7029aTNU3EoClgHcYw1i9QlhK1i3wqfSEfT1QVGg==
In-Reply-To: <t4ja44$1lfep$1@solani.org>
 by: Mostowski Collapse - Sat, 30 Apr 2022 12:30 UTC

Concerning parenthesis I only found this bug, but its not
really parenthesis related. So unlike Trealla it could be
that parenthesis are not a problem. This here gives the same

associativity hickup with and without parenthesis:

?- string_termList("- ( x0 * x1 ) ** x2 =:= x3 .", [Y]),
write_canonical(Y), nl.
-(=:=(**(*(x0,x1),x2),x3))
Y = - ((x0*x1)**x2=:=x3).

?- string_termList("- x4 ** x2 =:= x3 .", [Y]), write_canonical(Y), nl.
-(=:=(**(x4,x2),x3))
Y = - (x4**x2=:=x3).

?- Y = (- x4 ** x2 =:= x3), write_canonical(Y), nl.
=:=(-(**(x4,x2)),x3)
Y = (-x4**x2=:=x3).

Mostowski Collapse schrieb:
> This is an interesting pPEG example bug. Actually I wanted to hunt
> parenthesis parsing bugs, so I was up to generating some test cases that
> contain parenthesis. But this test case doesn’t contain any parenthesis,
>
> but it seems a binary infix operator is parsed as an unary functor?
>
> ?- string_termList(":- x0 =:= :- x1 - x2 .", [Y]), write_canonical(Y), nl.
> :-(:-(=:=(x0),-(x1,x2)))
> Y =  (:- (=:=(x0):-x1-x2)).
>
> I am still using pPEG from 14.04.2022. How do I do a package update?


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

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor