ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
https://ciao-lang.org
GNU Lesser General Public License v3.0
268 stars 20 forks source link

redefine lists.pl (or other modules used in the compiler) #68

Open jfmc opened 2 years ago

jfmc commented 2 years ago

The compiler depends on some library modules like lists.pl, which are then frozen: users are not allowed to load their own definitions for those modules from a toplevel.

Possible solutions: 1) introduce more complex module namespaces (so that two lists modules can coexists) 2) rename lists to sys_lists and define another lists.pl module that reexports all sys_lists predicates (easier but LPdoc documentation may look weird).