search

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.
https://ciao-lang.org
GNU Lesser General Public License v3.0
272 stars 21 forks source link
bytecode ciao-prolog clp compiler constraints interpreter iso-prolog-standard logic logic-programming programming-language prolog prolog-compiler prolog-implementation prolog-interpreter prolog-programming-language virtual-machine

readme

The Ciao Programming Language

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

Build Try

curl https://ciao-lang.org/boot -sSfL | sh

Please consult the installation instructions for details.