Re: A PIP classification scheme is needed (Was: DCG restrictions on the left-hand side [Novacore])

The PIP 903: Partial strings wasn't
so successful yet. Although pursued by
two Prolog systems, Scryer Prolog
and Trealla Prolog, the results are
not a banger performance wise. Could
have to do with some DCG pipe dreams:
/* Scryer Prolog 0.9.4-135 */
?- time((between(1,1000,_), data(X), json_chars(Y,X,[]), fail; true)).
    % CPU time: 0.283s, 2_506_022 inferences
    true.
/* Trealla Prolog 2.55.19 */
?- time((between(1,1000,_), data(X), json_chars(Y,X,[]), fail; true)).
% Time elapsed 0.235s, 2568003 Inferences, 10.937 MLips
    true.
/* Dogelog Player for Java 1.2.1 */
?- time((between(1,1000,_), data(X), json_atom(Y,X), fail; true)).
% Zeit 40 ms, GC 0 ms, Lips 12502725, Uhr 13.08.2024 08:43
true.
/* SWI-Prolog 9.3.8 */
?- time((between(1,1000,_), data(X), atom_json_term(X,Y,[]), fail; true)).
% 44,998 inferences, 0.016 CPU in 0.006 seconds (281% CPU, 2879872 Lips)
true.
Bye
Mild Shock schrieb:

.
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'