The Ciao Programming Language

All

50 repositories

ciao_lptp
Public
Ciao port of LPTP
Prolog
•
Other
•0•0•0•0•Updated Sep 11, 2025Sep 11, 2025
ciao
Public
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
programming-language interpreter bytecode
programming-language interpreter bytecode compiler virtual-machine logic prolog prolog-implementation constraints prolog-interpreter
Prolog
•
GNU Lesser General Public License v3.0
•24•330•46•0•Updated Jun 21, 2025Jun 21, 2025
cleandirs
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
devenv
Public
Full development environment (Emacs-based)
emacs prolog ciao
emacs prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•3•0•0•Updated Jun 17, 2025Jun 17, 2025
ciao_playground
Public
A playground for Ciao
playground prolog webassembly
playground prolog webassembly ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•2•9•1•0•Updated Jun 17, 2025Jun 17, 2025
profilercc
Public
Profiler with cost centers
C
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 17, 2025Jun 17, 2025
iso_tests
Public
Tests for ISO Prolog conformance
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 17, 2025Jun 17, 2025
lpdoc
Public
Documentation Generator for Prolog
prolog documentation-generator ciao
prolog documentation-generator ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•3•0•0•Updated Jun 17, 2025Jun 17, 2025
testsuite
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
ciaopp
Public
The Ciao Preprocessor
static-analysis prolog abstract-interpretation
static-analysis prolog abstract-interpretation ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•4•13•3•0•Updated Jun 17, 2025Jun 17, 2025
alldocs
Public
Reference manuals for Ciao
prolog ciao ciao-prolog
prolog ciao ciao-prolog
TeX
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 17, 2025Jun 17, 2025
ciao_emacs
Public
Ciao mode for Emacs
emacs prolog ciao
emacs prolog ciao ciao-prolog
Emacs Lisp
•
GNU Lesser General Public License v3.0
•3•5•1•0•Updated Jun 17, 2025Jun 17, 2025
synch_actions
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 17, 2025Jun 17, 2025
poly_clpq
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 17, 2025Jun 17, 2025
ciaowasm
Public
Ciao Prolog for Javascript (w/ WebAssembly)
javascript prolog webassembly
javascript prolog webassembly wasm ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•2•9•0•0•Updated Jun 6, 2025Jun 6, 2025
ciaopp_tests
Public
Tests for CiaoPP
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jun 6, 2025Jun 6, 2025
deepfind
Public
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Jun 6, 2025Jun 6, 2025
exfilter
Public
Execute and filter (lpdoc plugin)
Prolog
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 6, 2025Jun 6, 2025
lpmake
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•1•0•0•Updated Jun 6, 2025Jun 6, 2025
typeslib
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Oct 13, 2024Oct 13, 2024
wui
Public
Web-based UI for Ciao
ciao-prolog
ciao-prolog
JavaScript
•
GNU Lesser General Public License v3.0
•0•3•0•0•Updated Jul 22, 2024Jul 22, 2024
website
Public
The Ciao website
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•0•1•0•Updated Jul 22, 2024Jul 22, 2024
chat80
Public
prolog ciao ciao-prolog
prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•1•2•1•0•Updated Jul 22, 2024Jul 22, 2024
ciao_java
Public
java prolog ciao
java prolog ciao ciao-prolog
Java
•
GNU Lesser General Public License v3.0
•1•0•0•0•Updated Jul 22, 2024Jul 22, 2024
ciao_chr
Public
Leuven CHR System ported to Ciao
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Jul 22, 2024Jul 22, 2024
ciao_vsc
Public
TypeScript
•
GNU Lesser General Public License v3.0
•1•1•0•1•Updated Apr 2, 2024Apr 2, 2024
ciaofmt
Public
formatter prolog ciao
formatter prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024
ciaodbg
Public
Additional debugging, testing, and profilings for Ciao
debugger prolog ciao
debugger prolog ciao ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024
ociao
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•2•0•0•Updated Mar 5, 2024Mar 5, 2024
persdb_mysql
Public
ciao-prolog
ciao-prolog
Prolog
•
GNU Lesser General Public License v3.0
•0•1•0•0•Updated Mar 5, 2024Mar 5, 2024