Re: Even More Prolog Improvement Proposals (PIPs) [PIP301 - PIP303] (Was: More Prolog Improvement Proposals (PIPs) [PIP401 - PIP404])

And this one:
PIP304: library(math)
Evaluable functions such as popcount/1, etc…
The idea of a library(math) is brand new,
I first had it named library(random) and
then it got out of hands, exploded and
had many bitwise operations.
Mild Shock schrieb:

Also interesting development, there is something
like “Prologue to Prolog C”, where C possibly
stands for cryptography. So maybe a further PIP:
 PIP301: library(crypto)
Predicates such as crypto_data_hash/3, etc…
 PIP302: library(charsio)
Predicates such as open_memory_file/2, etc…
 PIP303: library(format)
Predicates such as format/3, etc…
 In the above I have also added charsio and format,
which is useful in many contexts. Some remark about
the 30x modules, they usually a more based on
 additional native routines. This is unlike the 40x
modules, which can have a pure Prolog reference
implementation.
 Mild Shock schrieb:

How about some of these PIPs:
>
PIP401: library(lists)
Provide predicates such as nth1/3, last/2, etc…
>
PIP402: library(sets)
Provide predicates such as union/3, subset/2, etc…
>
PIP403: library(sequence)
Provide predicates such as call_nth/2, limit/2, etc…
>
PIP404: library(aggregate)
Provide predicates such as aggregate_all/3, aggregate/3, etc…
>
There was once an effort Prolog Commons, which has
some overlap with the above PIPs:
>
The Prolog Commons Group - PART I - Library
https://prolog-commons.org/PrologCommons.html/part_library.html
>
But its more modularized than just a Prologue to Prolog,
which has a few list predicates and miscellaneous.
>
>