https://github.com/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://github.com/ciao-lang/ciao

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

Last synced: about 1 month ago
JSON representation

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

• Host: GitHub
• URL: https://github.com/ciao-lang/ciao
• Owner: ciao-lang
• License: lgpl-3.0
• Created: 2015-12-07T14:26:00.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2024-03-05T20:24:58.000Z (9 months ago)
• Last Synced: 2024-03-06T19:41:40.534Z (9 months ago)
• Topics: 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
• Language: Prolog
• Homepage: https://ciao-lang.org
• Size: 13.6 MB
• Stars: 234
• Watchers: 20
• Forks: 17
• Open Issues: 36
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: COPYING

Awesome Lists containing this project

• awesome-programming-languages - Ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular. (Uncategorized / Uncategorized)
• awesome-prolog - Ciao - A Prolog system with many extensions. (Compilers)

README

        


[**Ciao**](https://ciao-lang.org) **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**](https://ciao-lang.org/ciao/build/doc/ciao.html/)

for a complete feature list.

This repository contains the Ciao compiler, standard libraries, and build system. Other advanced features

([static analysis](https://github.com/ciao-lang/ciaopp),

[documentation generation](https://github.com/ciao-lang/lpdoc),

[Emacs-based development environment](https://github.com/ciao-lang/devenv),

etc.) are provided in [separate bundles](https://github.com/ciao-lang).

## Installation

[![Build](https://github.com/ciao-lang/ciao/actions/workflows/build.yml/badge.svg)](https://github.com/ciao-lang/ciao/actions)

[![Try](https://img.shields.io/badge/-Try%20online%20%E2%96%BA-blue)](https://ciao-lang.org/playground)

```

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

```

Please consult the [**installation**](https://ciao-lang.org/install.html)

instructions for details.