search

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
272 stars 21 forks source link

fix or explain clpr/clpq doc warnings #62

Open jfmc opened 2 years ago

jfmc commented 2 years ago

Combination of CLP(R) and CLP(Q) has problems (not really modular at this moment). There is a cryptic message in the documentation that needs to be clarified.