Skip to content
@ciao-lang

The Ciao Programming Language

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

Pinned Loading

  1. ciao ciao Public

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

    Prolog 277 21

Repositories

Showing 10 of 49 repositories
  • ciao_playground Public

    A playground for Ciao

    ciao-lang/ciao_playground’s past year of commit activity
    JavaScript 8 LGPL-3.0 2 0 0 Updated Nov 15, 2024
  • lpdoc Public

    Documentation Generator for Prolog

    ciao-lang/lpdoc’s past year of commit activity
    Prolog 3 LGPL-3.0 1 0 0 Updated Nov 15, 2024
  • ciaowasm Public

    Ciao Prolog for Javascript (w/ WebAssembly)

    ciao-lang/ciaowasm’s past year of commit activity
    JavaScript 7 LGPL-3.0 1 0 0 Updated Nov 15, 2024
  • ciao-lang/testsuite’s past year of commit activity
    Prolog 0 LGPL-3.0 0 0 0 Updated Nov 15, 2024
  • ciaopp Public

    The Ciao Preprocessor

    ciao-lang/ciaopp’s past year of commit activity
    Prolog 11 LGPL-3.0 4 2 0 Updated Nov 15, 2024
  • ciao Public

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

    ciao-lang/ciao’s past year of commit activity
    Prolog 277 LGPL-3.0 21 39 0 Updated Nov 15, 2024
  • ciao-lang/cleandirs’s past year of commit activity
    Prolog 0 LGPL-3.0 0 0 0 Updated Oct 13, 2024
  • devenv Public

    Full development environment (Emacs-based)

    ciao-lang/devenv’s past year of commit activity
    Prolog 3 LGPL-3.0 0 0 0 Updated Oct 13, 2024
  • profilercc Public

    Profiler with cost centers

    ciao-lang/profilercc’s past year of commit activity
    C 1 LGPL-3.0 0 0 0 Updated Oct 13, 2024
  • iso_tests Public

    Tests for ISO Prolog conformance

    ciao-lang/iso_tests’s past year of commit activity
    Prolog 1 LGPL-3.0 0 0 0 Updated Oct 13, 2024