Path: ...!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: A PIP classification scheme is needed (Was: DCG restrictions on the
 left-hand side [Novacore])
Date: Tue, 13 Aug 2024 11:18:44 +0200
Message-ID: <v9f8dj$156vo$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: Tue, 13 Aug 2024 09:18:43 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1219576"; 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:BO526Dxl00wAQbl7dsBpLbZWHK4=
In-Reply-To: <v8bc1u$indc$1@solani.org>
X-User-ID: eJwFwYEBACAEBMCVEu9rHML+I3QHdfFHc7hhMJlXGCq0ikZyZ9fSumE+KdSlTdvFd1q0a8i6dojFSEjMB1/5FcQ=
Bytes: 2309
Lines: 53

..
Hi,

SARS-CoV-2 variant are classified as variant under
monitoring (VUM), variant of interest (VOI)
and variant of concern (VOC).

How would we classify PIPs. Here is a list:

- PIP 701: Tasks
Stackfull and stackless cooperative cooroutines.

- PIP 702: Events
An event loop to “asyncify” file system access, network
access, queues, terminals, windowing systems, etc…

- PIP 801: Threads
Split off from Paulo Maura’s multi-threading document.

- PIP 801: Mutex
Split off from Paulo Maura’s multi-threading document.

- PIP 802: Message queues for multi-threading
Split off from Paulo Maura’s multi-threading document.

- PIP 803: Simpler queues not for multi-threading (@marco’s ?)
Other sources here.

- PIP 901: Embrace strings
String literal, unify, (==)/2 and (@<)/2

- PIP 902: Fully embrace strings
String is/2, (=:=)/2 and (<)/2

- PIP 903: Partial strings
Compact and shared char lists.

Bye

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'