ciao-lang/alldocs

Reference manuals for Ciao

Language: TeX - Size: 743 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0

ciao-lang/ciao_playground

A playground for Ciao

Language: JavaScript - Size: 880 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 8 - Forks: 2

ciao-lang/lpdoc

Documentation Generator for Prolog

Language: Prolog - Size: 1.29 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 4 - Forks: 1

ciao-lang/ciaowasm

Ciao Prolog for Javascript (w/ WebAssembly)

Language: JavaScript - Size: 88.9 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 8 - Forks: 2

ciao-lang/ciaopp

The Ciao Preprocessor

Language: Prolog - Size: 11.1 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 11 - Forks: 4

ciao-lang/ciao_emacs

Ciao mode for Emacs

Language: Emacs Lisp - Size: 813 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 5 - Forks: 3

ciao-lang/ciaopp_tests

Tests for CiaoPP

Language: Prolog - Size: 351 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 1 - Forks: 0

fabasoad/setup-ciao-action

This GitHub action installs Ciao

Language: Shell - Size: 54.7 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0

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.

Language: Prolog - Size: 13 MB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 303 - Forks: 23

ciao-lang/testsuite

Language: Prolog - Size: 224 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

ciao-lang/devenv

Full development environment (Emacs-based)

Language: Prolog - Size: 35.2 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

ciao-lang/wui

Web-based UI for Ciao

Language: JavaScript - Size: 78.1 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

ciao-lang/iso_tests

Tests for ISO Prolog conformance

Language: Prolog - Size: 366 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

ciao-lang/website

The Ciao website

Language: Prolog - Size: 185 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

ciao-lang/chat80

Language: Prolog - Size: 84 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1

ciao-lang/typeslib

Language: Prolog - Size: 150 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

ciao-lang/ciao_java

Language: Java - Size: 147 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 1

ciao-lang/ciao_chr

Leuven CHR System ported to Ciao

Language: Prolog - Size: 228 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

ciao-lang/poly_clpq

Language: Prolog - Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ciao-lang/lpmake

Language: Prolog - Size: 62.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

ciao-lang/persdb_mysql

Language: Prolog - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ciao-lang/ciao_z3

Z3 interface for Ciao

Language: SMT - Size: 20.5 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ciao-lang/homebrew-ciao

Homebrew formulae for Ciao

Language: Ruby - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

ciao-lang/mycin

Language: Prolog - Size: 46.9 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

ciao-lang/yap_libs

Language: Prolog - Size: 45.9 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

ciao-lang/ciao_gsl

Language: Prolog - Size: 41 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

ciao-lang/ciao_ppl

Language: C++ - Size: 281 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/ciao_yices

Yices interface for Ciao

Language: Prolog - Size: 58.6 KB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/ciao_boxes

Virtual machines for Ciao

Language: Ruby - Size: 6.84 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

ciao-lang/ciao_gui

Language: Prolog - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/docker-ciao

Docker image for Ciao

Language: Shell - Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0

ciao-lang/ciaofmt

Language: Prolog - Size: 68.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ciao-lang/synch_actions

Language: Prolog - Size: 34.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ciao-lang/provrml

Language: Prolog - Size: 118 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/tclp

Language: Prolog - Size: 75.2 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/gendot

Language: Prolog - Size: 29.3 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/ciao_tcltk

Language: Prolog - Size: 55.7 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/ciaomath

Language: Prolog - Size: 47.9 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/cleandirs

Language: Prolog - Size: 36.1 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

ciao-lang/ociao

Language: Prolog - Size: 138 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ciao-lang/concolic

Concolic search (experimental)

Language: Prolog - Size: 49.8 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

ciao-lang/davinci

Language: Prolog - Size: 36.1 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

ciao-lang/ciaodbg

Additional debugging, testing, and profilings for Ciao

Language: Prolog - Size: 466 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0