revisit lists.pl (and other common Prolog modules)

[jfmc]

Our idlists module was written by Francisco Bueno, including useful predicates which were not in our original lists module (years before I started working in the CLIP Lab so probably Manuel knows better). I had a look it we would have no problem with merging idlists into lists (those predicates seem standard in other Prologs nowadays).

As SWI mentions in their documentation: "Virtually every Prolog system has library(lists), but the set of provided predicates is diverse. There is a fair agreement on the semantics of most of these predicates, although error handling may vary."

For reference:

• SICStus: https://sicstus.sics.se/sicstus/docs/4.6.0/html/sicstus/lib_002dlists.html#lib_002dlists
• SWI: https://www.swi-prolog.org/pldoc/man?section=lists
• Scryer: https://github.com/mthom/scryer-prolog/blob/895b02b64196cf899400401fe0d365e932270cca/src/lib/lists.pl
• GNU Prolog: http://www.gprolog.org/manual/html_node/gprolog044.html
• Yap Prolog: https://www.dcc.fc.up.pt/~vsc/yap/lists_8yap_source.html
• ECLiPSe: https://eclipseclp.org/doc/bips/lib/lists/index.html
• XSB and Picat/B-Prolog: (I've not found good links to the sources yet)

Some of systems above include meta predicates like maplist/N in the lists.pl module. Ciao avoids doing it.

Originally posted by @jfmc in #60 (comment)