Splitting up the Prologue to Prolog

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.