The Ciao Programming Language's repositories
ciao_playground
A playground for Ciao
ciao_emacs
Ciao mode for Emacs
ciao_yices
Yices interface for Ciao
ciaopp_tests
Tests for CiaoPP
Language:PrologLGPL-3.0000
A general purpose, multi-paradigm programming language in the Prolog family
Earth
A playground for Ciao
Ciao mode for Emacs
Yices interface for Ciao
Tests for CiaoPP