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: Re: Even More Prolog Improvement Proposals (PIPs) [PIP301 - PIP303]
 (Was: More Prolog Improvement Proposals (PIPs) [PIP401 - PIP404])
Date: Wed, 9 Oct 2024 10:00:44 +0200
Message-ID: <ve5d7a$5rkt$1@solani.org>
References: <db8a6771-3e54-485b-b391-310658dd6f52n@googlegroups.com>
 <d9588b9c-edcc-4f8b-85d2-7487b5556798n@googlegroups.com>
 <v85dpo$falk$1@solani.org> <ve5c7r$5r5l$1@solani.org>
 <ve5caj$5r5l$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 9 Oct 2024 08:00:42 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="192157"; 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.19
Cancel-Lock: sha1:yNUv9jS+sLeMqD5gc/+COOGWQ/c=
In-Reply-To: <ve5caj$5r5l$2@solani.org>
X-User-ID: eJwNycEBADEEBMCWBMspB6H/EnLzHYgda1eDKRZLOKG7E81Bc6HD24r5t9r8ojw/mjSJkxUSIx5ZqCTmW/0AWg0V9w==
Bytes: 2973
Lines: 59

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