modules.pl -- Encode modules

The sCASP program representation and solver are not module aware. We solve this by encoding the module in the functor names. The alternative is to make the solver and program representation work with M:Term terms.

This current approach implies overhead in program preparation and returning results, but avoids overhead in the compilation and solving. As notably the solver is the slow part it is likely that interning the module into the names is both simpler and faster.

 encoded_module_name(?QTerm, ?QName) is det[private]

Encode a module qualification into a name. Also deals with names that embed classical negation (-Name).

 encoded_module_term(?TermIn, ?TermOut) is det

 scasp_encoded_module_term(?MTerm, ?QTerm) is det

Map an explicit Prolog module qualification into one that is encoded in the functor name.

 unqualify_model_term(+Module, +TermIn, -TermOut)

 model_term_module(:Term, -Module) is det