Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: comp.lang.prolog
Subject: Why cant Scryer Prolog parse this? (Was: France is the Fire Nation of
 Prolog)
Date: Sun, 1 Sep 2024 15:22:20 +0200
Message-ID: <vb1pqc$1vjlv$1@solani.org>
References: <d1ab4350-9a9d-49bc-845b-f10eeb1ec763n@googlegroups.com>
 <4b54821a-d72a-4c12-9df7-595f1bec65a3n@googlegroups.com>
 <4e8fe506-964f-40b4-acf3-ac8e028a785en@googlegroups.com>
 <98f3fd5e-aee6-4a87-9f12-0df4a12e061dn@googlegroups.com>
 <758bac6e-fa0e-442d-afdc-bf7b0ea3f476n@googlegroups.com>
 <29a8df8b-5a26-436d-a1fc-d99d395e6cd5n@googlegroups.com>
 <51469f92-69a9-4e04-ba5b-87736f34f8fan@googlegroups.com>
 <976f92b0-f39d-4a99-bae6-312a99509479n@googlegroups.com>
 <d6ab1aae-6640-45de-ab5a-5f2de73e375dn@googlegroups.com>
 <cfc165ef-ab90-4711-bf38-9d607aa20eb3n@googlegroups.com>
 <c9d95bdf-dc0f-4ceb-a7fc-5fd47076f60dn@googlegroups.com>
 <a6d89f13-8625-41c3-9616-7505ff53858fn@googlegroups.com>
 <c92df7b5-9774-4932-b4ec-e9dd6e069f7en@googlegroups.com>
 <d4792eef-4f30-4fc8-811d-2d3c43e808b8n@googlegroups.com>
 <367479d2-55fa-4d09-a335-452ebc12be53n@googlegroups.com>
 <0dd031b7-b544-4834-8c4f-c05cdb73f108n@googlegroups.com>
 <2819e103-ad9e-4b92-8e20-52a3af80ad60n@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 1 Sep 2024 13:22:20 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2084543"; 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.18.2
Cancel-Lock: sha1:Tx0LlrLZJPlL/MVLbMEAeM7/6wc=
In-Reply-To: <2819e103-ad9e-4b92-8e20-52a3af80ad60n@googlegroups.com>
X-User-ID: eJwFwYEBwCAIA7CXBGlx5yDS/09Ygk1jZxAMCNrH54I2XWdJ93nJldTAdkeJt3Nc6zkWogIwohD61NH5A3O5FiA=
Bytes: 3264
Lines: 50

Hi,

Why cant Scryer Prolog parse this?

scryer-prolog$ target/release/scryer-prolog -v
v0.9.4-165-g12a61cdf

scryer-prolog$ target/release/scryer-prolog

?- current_op(X, Y, *).
    X = 400, Y = yfx.

?- X = (* = *).
    error(syntax_error(incomplete_reduction),read_term/3:1).

On the other hand Trealla Prolog has no problem:

trealla$ ./tpl -v
Trealla Prolog (c) Infradig 2020-2024, v2.55.31

trealla$ ./tpl
?- current_op(X, Y, *).
    X = 400, Y = yfx.

?- X = (* = *).
    X = ((*)=(*)).

What LEX / YACC did they use? Holy cow!

Bye

Mild Shock schrieb:
> Is Canada also France? Seems I am not the only one who got
> into struggle with Logtalk sooner or later. LoL
> 
> How its started:
> Ticket raised by me Aug 9, 2021 (when I was "ghost")
> Feature request flag dialect, maybe version and version_data
> https://github.com/mthom/scryer-prolog/issues/1017
> 
> How its going:
> Commit by pmoura last week
> Delete Scryer Prolog support due to this system refusal to
> support the de facto standard `version_data` flag
> https://github.com/LogtalkDotOrg/logtalk3/commit/d93883c5a8b014af09bd0e11439eaff30e1c1a5c
> 
> What happened?
> 
> LoL
>