Re: DCG restrictions on the left-hand side [Novacore]

Sujet : Re: DCG restrictions on the left-hand side [Novacore]
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : comp.lang.prolog
Date : 30. Jul 2024, 19:43:44

Autres entêtes

Message-ID : <v8bc91$inkj$1@solani.org>
References : 1
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2

In Novacore we are lucky, its a side effect of
phrase translating the head and a multi-file check:
?- [user].
p;q --> r.
Fehler: Kann Prädikat ;/2 nicht umdefinieren, nicht als Mehrdateien markiert.
But might work out differently if a DCG is expanded
and asserted. Ok, its actually not so bad:
?- expand_term((p;q --> r), X), assertz(X).
Fehler: Kann Prädikat ;/2 nicht aktualisieren.
user auf 1
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'

Date	Sujet	#	Auteur
30 Jul 24	DCG restrictions on the left-hand side [Novacore]	15	Mild Shock
30 Jul 24	Re: DCG restrictions on the left-hand side [Novacore]	4	Mild Shock
30 Jul 24	Re: DCG restrictions on the left-hand side [Novacore]	3	Mild Shock
31 Jul 24	Re: DCG restrictions on the left-hand side [Novacore]	2	Mild Shock
31 Jul 24	Re: DCG restrictions on the left-hand side [Novacore]	1	Mild Shock
10 Aug 24	post-N246 Read- and Write-Option variable_names/1 (Was: DCG restrictions on the left-hand side [Novacore])	7	Mild Shock
10 Aug 24	Re: post-N246 Read- and Write-Option variable_names/1 (Was: DCG restrictions on the left-hand side [Novacore])	6	Mild Shock
10 Aug 24	Is a PIP for Syntax extensions necessary? (Was; post-N246 Read- and Write-Option variable_names/1)	5	Mild Shock
10 Aug 24	Re: Is a PIP for Syntax extensions necessary? (Was; post-N246 Read- and Write-Option variable_names/1)	4	Mild Shock
10 Aug 24	Re: Is a PIP for Syntax extensions necessary? (Was; post-N246 Read- and Write-Option variable_names/1)	3	Mild Shock
10 Aug 24	Re: Is a PIP for Syntax extensions necessary? (Was; post-N246 Read- and Write-Option variable_names/1)	2	Mild Shock
11 Aug 24	Re: Is a PIP for Syntax extensions necessary? (Was; post-N246 Read- and Write-Option variable_names/1)	1	Mild Shock
13 Aug 24	A PIP classification scheme is needed (Was: DCG restrictions on the left-hand side [Novacore])	3	Mild Shock
13 Aug 24	Re: A PIP classification scheme is needed (Was: DCG restrictions on the left-hand side [Novacore])	2	Mild Shock
13 Aug 24	Re: A PIP classification scheme is needed (Was: DCG restrictions on the left-hand side [Novacore])	1	Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal