Path: ...!news.mixmin.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: post-N246 Read- and Write-Option variable_names/1 (Was: DCG
 restrictions on the left-hand side [Novacore])
Date: Sat, 10 Aug 2024 20:20:44 +0200
Message-ID: <v98b1p$123qt$1@solani.org>
References: <v8bc1u$indc$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 10 Aug 2024 18:20:41 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1118045"; 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:xX0h+d5MMAF8B5KAWmu8W23k9Do=
X-User-ID: eJwNysEBwCAIA8CVoCRRxxEo+4/Q3vsYctWCKHA4Yya1M1gDrV5Fy/fghenJS2+/jJ37BIiEdVb+S+UI0T5AvBTy
In-Reply-To: <v8bc1u$indc$1@solani.org>
Bytes: 2155
Lines: 38


UWN is testing Prolog systems that don't exist anymore:

Jekejeke 1.5.0
https://www.complang.tuwien.ac.at/ulrich/iso-prolog/variable_names#73

a) There is no more publicitly available Jekejeke
    Prolog anymore, I think I wrote UWN already in the
    past about that.

b) There is only Dogelog Player, which has a 100%
    Prolog written read/write predicates including
    the variable_name/1 option. Source code is here,
    you also find GIT access etc to the Prolog system:

Quelltexte und Archive des Dogelog Spieler.
https://www.xlog.ch/izytab/doclet/docs/07_spec/02_dogelog.html

c) There is an internal version of Jekejeke Prolog,
    which is way after 1.5.0, with version 1.7.0, but
    it also uses the Dogelog Payer 100% Prolog
    written read/write, so no need to test.


Mild Shock schrieb:
> Guess how many newer Prolog systems allow this here:
> 
> ?- [user].
> p;q --> r.
>     true.
> 
> On the other hand SWI-Prolog disallows it:
> 
> ?- [user].
> p;q --> r.
> 
> ERROR: user://1:29:
> ERROR:    No permission to define dcg_nonterminal `p;q'