1 result found Sort:

ciao-lang
ciao ciao-lang
18
252
lgpl-3.0
22
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
clp logic prolog bytecode compiler ciao-prolog constraints interpreter prolog-compiler virtual-machine logic-programming prolog-interpreter iso-prolog-standard programming-language prolog-implementation prolog-programming-language
Created 2015-12-07
1,925 commits to master branch, last one 3 months ago