Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/triska/clpz
Constraint Logic Programming over Integers
clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog
Last synced: 27 May 2024
![](https://github.com/triska.png)
https://github.com/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.
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine
Last synced: 26 May 2024
![](https://github.com/ciao-lang.png)