Skip to content
/ ciao Public

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

ciao-lang.org

License

LGPL-3.0, GPL-3.0 licenses found

Licenses found

LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
304 stars 23 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

ciao-lang/ciao

Error
Looks like something went wrong!

About

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

ciao-lang.org

Topics

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

Resources

Readme

License

LGPL-3.0, GPL-3.0 licenses found

Licenses found

LGPL-3.0
COPYING.LESSER
GPL-3.0
COPYING
Activity
Custom properties

Stars

304 stars

Watchers

20 watching

Forks

23 forks
Report repository

Releases 15

v1.24.0-m1 Latest
Oct 15, 2024
+ 14 releases

Contributors 12

Languages