Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter logic-programming clp prolog-programming-language prolog-compiler iso-prolog-standard ciao-prolog
- Updated
Jun 21, 2025 - Prolog