Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
See the codeREADME
Ciao is a general-purpose programming language in the Prolog family that builds up from a logic-based simple kernel, and is designed to be extensible and modular. Please check the documentation for a complete feature list.
This repository contains the Ciao compiler, standard libraries, and build system. Other advanced features (static analysis, documentation generation, Emacs-based development environment, etc.) are provided in separate bundles.
Installation
curl https://ciao-lang.org/boot -sSfL | sh
Please consult the installation instructions for details.
Contributors
Similar repos
Languages
Prolog
71.9%
C
20.9%
Shell
3.4%
C++
2.3%
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
See the codeREADME
Ciao is a general-purpose programming language in the Prolog family that builds up from a logic-based simple kernel, and is designed to be extensible and modular. Please check the documentation for a complete feature list.
This repository contains the Ciao compiler, standard libraries, and build system. Other advanced features (static analysis, documentation generation, Emacs-based development environment, etc.) are provided in separate bundles.
Installation
curl https://ciao-lang.org/boot -sSfL | sh
Please consult the installation instructions for details.
Similar repos
Contributors
Languages
Prolog
71.9%
C
20.9%
Shell
3.4%
C++
2.3%