ciao-lang / ciaoLinks

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
303Updated 6 months ago

Alternatives and similar repositories for ciao

Users that are interested in ciao are comparing it to the libraries listed below

Sorting: