There are 1 repository under ciao-prolog topic.
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
The Ciao Preprocessor
A playground for Ciao
Ciao Prolog for Javascript (w/ WebAssembly)
Ciao mode for Emacs
Docker image for Ciao
Full development environment (Emacs-based)
Documentation Generator for Prolog
Web-based UI for Ciao
Reference manuals for Ciao
Virtual machines for Ciao
Leuven CHR System ported to Ciao
Tests for ISO Prolog conformance
Additional debugging, testing, and profilings for Ciao
Tests for CiaoPP
Concolic search (experimental)
The Ciao website
This GitHub action installs Ciao