ciao

(β˜… 349)

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

File Explorer

Download Latest Version (.zip)
  • .gitattributes
  • .gitignore
  • .gitlab-ci.yml
  • .mailmap
  • CHANGELOG.md
  • ciao-boot.bat
  • ciao-boot.sh
  • CONTRIBUTING.md
  • COPYING
  • COPYING.LESSER
  • INSTALLATION.md
  • README.md

# Installation Guide

1. Get the code
git clone https://github.com/ciao-lang/ciao

Downloads the entire project code from GitHub to your computer.

cd ciao

Moves into the project folder you just downloaded.

2. Official Install Script

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

Downloads and runs the official install script in one line β€” this handles the full setup automatically.

βœ… After installing, open a new terminal and run the program's version command (e.g. --version) to confirm it worked.

Pulled directly from this repo's README.

3. Make

Medium
Prerequisites
  • Git Needed to download the project code from GitHub.
  • Make Usually pre-installed on Linux/macOS. On Windows, install separately (e.g. via MSYS2 or WSL).
⚠️ This is a large repository, so this method may point to an internal sub-package rather than the actual core product. Check the full README as well.
cd core/library/tabling

This project's files live in a subfolder, so move into it first.

make

Compiles the code based on the generated build configuration to produce an executable.

βœ… If it finishes without errors, it worked. Try running the generated executable directly.

Today's picks

uv β˜… 88,940

An extremely fast Python package and project manager, written in Rust.

Rust
the-art-of-command-line β˜… 162,140

Master the command line, in one page
gin β˜… 89,095

Gin is a high-performance HTTP web framework written in Go. It provides a Martini-like API

Go
ai-agents-for-beginners β˜… 72,946

18 Lessons to Get Started Building AI Agents

Jupyter Notebook
grafana β˜… 76,340

The open and composable observability and data visualization platform. Visualize metrics,

TypeScript
frp β˜… 108,928

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the int

Go
// repository documentation