- Notifications
You must be signed in to change notification settings - Fork23
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
License
LGPL-3.0, GPL-3.0 licenses found
Licenses found
ciao-lang/ciao
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
Ciaois a general-purpose programming languagein the Prolog family that builds up from alogic-based simplekernel, and is designed to be extensible and modular. Please check thedocumentationfor 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 inseparate bundles.
curl https://ciao-lang.org/boot -sSfL | shPlease consult theinstallationinstructions 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.