The Ciao Programming Language (ciao-lang)

The Ciao Programming Language

ciao-lang

Geek Repo

A general purpose, multi-paradigm programming language in the Prolog family

Location:Earth

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

Github PK Tool:Github PK Tool

The Ciao Programming Language's repositories

ciao

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

Language:PrologLicense:LGPL-3.0Stargazers:238Issues:20Issues:81

ciaopp

The Ciao Preprocessor

Language:PrologLicense:LGPL-3.0Stargazers:9Issues:5Issues:2

ciao_playground

A playground for Ciao

Language:JavaScriptLicense:LGPL-3.0Stargazers:6Issues:5Issues:0

ciaowasm

Ciao Prolog for Javascript (w/ WebAssembly)

Language:JavaScriptLicense:LGPL-3.0Stargazers:6Issues:5Issues:1

ciao_emacs

Ciao mode for Emacs

Language:Emacs LispLicense:LGPL-3.0Stargazers:5Issues:4Issues:1

devenv

Full development environment (Emacs-based)

Language:PrologLicense:LGPL-3.0Stargazers:3Issues:5Issues:1

lpdoc

Documentation Generator for Prolog

Language:PrologLicense:LGPL-3.0Stargazers:2Issues:5Issues:0

wui

Web-based UI for Ciao

Language:JavaScriptLicense:LGPL-3.0Stargazers:2Issues:4Issues:0

alldocs

Reference manuals for Ciao

Language:TeXLicense:LGPL-3.0Stargazers:1Issues:4Issues:0

ciao_chr

Leuven CHR System ported to Ciao

Language:PrologLicense:LGPL-3.0Stargazers:1Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:1Issues:3Issues:0

iso_tests

Tests for ISO Prolog conformance

Language:PrologLicense:LGPL-3.0Stargazers:1Issues:6Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:1Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:1Issues:1Issues:1
Language:TypeScriptLicense:LGPL-3.0Stargazers:0Issues:3Issues:0

ciaodbg

Additional debugging, testing, and profilings for Ciao

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0
Stargazers:0Issues:4Issues:0
Language:JavaLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

ciao_yices

Yices interface for Ciao

Language:PrologStargazers:0Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

ciaopp_tests

Tests for CiaoPP

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:2Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

exfilter

Execute and filter (lpdoc plugin)

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:3Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0
Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:0

website

The Ciao website

Language:PrologLicense:LGPL-3.0Stargazers:0Issues:4Issues:1