Giters

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.

Home Page:https://ciao-lang.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

prologcompilerprogramming-languagelogicinterpreterbytecodevirtual-machineclpconstraintsprolog-implementationprolog-interpreterprolog-compileriso-prolog-standardciao-prologprolog-programming-languagelogic-programming

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.

About

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

prologcompilerprogramming-languagelogicinterpreterbytecodevirtual-machineclpconstraintsprolog-implementationprolog-interpreterprolog-compileriso-prolog-standardciao-prologprolog-programming-languagelogic-programming

License:GNU Lesser General Public License v3.0

Languages

Language:Prolog 71.4%Language:C 22.6%Language:Shell 3.6%Language:C++ 1.1%Language:Python 0.8%Language:CLIPS 0.2%Language:Makefile 0.1%Language:JavaScript 0.1%Language:Emacs Lisp 0.0%Language:HTML 0.0%Language:Batchfile 0.0%Language:PLSQL 0.0%Language:Dockerfile 0.0%