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
Mar 5, 2024 - Prolog