ciao
Prolog compiler
A logic-based programming language implementation with a portable and modular design
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
278 stars
21 watching
22 forks
Language: Prolog
last commit: 3 months ago
Linked from 3 awesome lists
bytecodeciao-prologclpcompilerconstraintsinterpreteriso-prolog-standardlogiclogic-programmingprogramming-languageprologprolog-compilerprolog-implementationprolog-interpreterprolog-programming-languagevirtual-machine
appcypher/awesome-wasm-langs
klaudiosinani/awesome-prolog
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
| ciao-lang/ciao_emacs | An Emacs mode providing syntax highlighting, debugging, and compilation facilities for a Prolog programming language. | 5 |
 cl-model-languages/cl-prolog2 | A Common Lisp library that provides a translator from S-expression to ISO-standardized Prolog language and integrates with various Prolog compilers for efficient execution. | 31 |
 kjinho/ciao | An OAuth 2.0 client library for Common Lisp | 24 |
 vscosta/yap-6.3 | A high-performance Prolog compiler with support for various input/output methods and interface to C. | 13 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 244 |
 sjl/temperance | An implementation of a Warren Abstract Machine in Common Lisp to support logic programming and Prolog-like functionality. | 58 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 c2lang/c2compiler | A C compiler written in the C2 language itself. | 703 |
 seliopou/typo | A programming language compiler and interpreter built on top of Haskell's type system. | 249 |
 barn-lang/barn | A simple programming language written in C that is compiled to C. | 53 |
 delta456/monkey_v | An implementation of a programming language interpreter in V. | 37 |
 kelilanguage/compiler | A Haskell implementation of a compiler for a custom programming language | 172 |
 ziglang/zig | A general-purpose programming language and toolchain for building robust, maintainable software | 35,396 |