The Ciao Programming Language
A general purpose, multi-paradigm programming language in the Prolog family
Earth
Pinned Repositories
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
ciao_emacs
Ciao mode for Emacs
ciao_playground
A playground for Ciao
ciaopp
The Ciao Preprocessor
ciaowasm
Ciao Prolog for Javascript (w/ WebAssembly)
devenv
Full development environment (Emacs-based)
docker-ciao
Docker image for Ciao
lpdoc
Documentation Generator for Prolog
mycin
wui
Web-based UI for Ciao
The Ciao Programming Language's Repositories
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.
ciao-lang/ciaopp
The Ciao Preprocessor
ciao-lang/ciao_playground
A playground for Ciao
ciao-lang/ciaowasm
Ciao Prolog for Javascript (w/ WebAssembly)
ciao-lang/ciao_emacs
Ciao mode for Emacs
ciao-lang/devenv
Full development environment (Emacs-based)
ciao-lang/lpdoc
Documentation Generator for Prolog
ciao-lang/wui
Web-based UI for Ciao
ciao-lang/alldocs
Reference manuals for Ciao
ciao-lang/ciao_chr
Leuven CHR System ported to Ciao
ciao-lang/deepfind
ciao-lang/iso_tests
Tests for ISO Prolog conformance
ciao-lang/ociao
ciao-lang/typeslib
ciao-lang/ciao_vsc
ciao-lang/ciaodbg
Additional debugging, testing, and profilings for Ciao
ciao-lang/.github
ciao-lang/ciao_java
ciao-lang/ciao_yices
Yices interface for Ciao
ciao-lang/ciaofmt
ciao-lang/ciaopp_tests
Tests for CiaoPP
ciao-lang/cleandirs
ciao-lang/exfilter
Execute and filter (lpdoc plugin)
ciao-lang/lpmake
ciao-lang/persdb_mysql
ciao-lang/poly_clpq
ciao-lang/synch_actions
ciao-lang/tclp
ciao-lang/testsuite
ciao-lang/website
The Ciao website