Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!news.swapon.de!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: Splitting up the Prologue to Prolog
Date: Mon, 19 May 2025 10:54:05 +0200
Message-ID: <100erje$1dbl$1@solani.org>
References: <b406aa35-c39b-46f3-862f-1cc4b75143ae@googlegroups.com>
 <1b7ce2bd-722b-4c2e-b853-12fc2232752bn@googlegroups.com>
 <vb2jba$202pl$1@solani.org> <vb2ll2$2041i$1@solani.org>
 <vb6mqe$23gm0$2@solani.org> <vb7bjv$22j53$2@solani.org>
 <vd1qlb$o7bo$2@solani.org> <vig9e0$l48h$1@solani.org>
 <vr17tl$1fbek$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 19 May 2025 08:54:06 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="46453"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:hYPCsKrgPQ1PTuKp+pcRKwro52M=
X-User-ID: eJwVzMERwDAIA7CVMASnjJOYY/8R2j71UQZB7cXkysnBybKOvrf7V7lJQhlZYY4zE/Jt22JchJwB1fH7IL7pBVTwFQo=
In-Reply-To: <vr17tl$1fbek$1@solani.org>


How about splitting up the Prologue to prolog into
multiple modules? To the best of my knowledge websites
allow multiple documents and Prolog systems allow multiple

Prolog texts, so why make a one fits all page like here:

https://www.complang.tuwien.ac.at/ulrich/iso-prolog/prologue

Its by way not anymore a Prologue, which somehow implies
that the predicates are automatically loaded. What would
make more sense to start morking on commons modules, like:

maplist/n ~~> library(lists)
call_nth/2 ~~> library(sequence)
crypto_data_hash/3 ~~> library(crypto)
Etc..

Revise this "The Prolog prologue is a possibly empty file to
be included (7.4.2.7)." This is nonsense, if you add things
that are just commons modules.