ciao-lang / ciaoLinks
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
☆315Updated 4 months ago
Alternatives and similar repositories for ciao
Users that are interested in ciao are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain-old C.☆318Updated this week
- Logtalk - declarative object-oriented logic programming language☆468Updated last week
- Embeddable Lambda Prolog Interpreter☆329Updated this week
- Constraint Logic Programming over Integers☆209Updated last year
- GNU Prolog☆132Updated last month
- Some notes taken while working on Prolog☆189Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆157Updated last year
- Standard ML of New Jersey☆223Updated last week
- Rhombus programming language☆493Updated this week
- ☆56Updated 5 months ago
- interpreter and compiler to be compatible with ARITY/PROLOG(MS-DOS)☆130Updated last month
- Polynomial-time Meta-Interpretive Learning☆128Updated 8 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆404Updated 3 years ago
- A tiny Racket for scripting☆300Updated 2 months ago
- Shen/Scheme implementation☆123Updated 5 months ago
- Bootstrapping ATS3☆229Updated this week
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆272Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆401Updated this week
- The Mercury logic programming system.☆970Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆162Updated 8 months ago
- The implementation of microKanren, a featherweight relational programming language☆314Updated 11 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago
- A functional, flexible and concise Lisp.☆294Updated 2 months ago
- A language server for Standard ML in Rust.☆229Updated last month
- Online, interactive edition of the "Simply Logical" Prolog textbook☆165Updated 10 months ago
- A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-cla…☆539Updated last week
- An embeddable flow-oriented language.☆71Updated last month
- Maru - a tiny self-hosting lisp dialect☆208Updated last week
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆166Updated 8 years ago