ramsdell / ocaml-datalogLinks
This package contains a lightweight deductive database system in OCaml
☆41Updated 3 years ago
Alternatives and similar repositories for ocaml-datalog
Users that are interested in ocaml-datalog are comparing it to the libraries listed below
Sorting:
- ☆48Updated last month
- Kanren with databases☆44Updated last year
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- ☆56Updated 4 months ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Datalog implemented in minikanren☆24Updated 8 years ago
- ☆71Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- Typed Racket data structure libraries☆59Updated 3 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- ☆31Updated 2 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 months ago
- Web Framework for SWI-Prolog☆43Updated 9 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Relational Programming in miniKanren☆52Updated 10 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- S-expression swiss knife☆47Updated last month
- Prolog HTTPS Servers☆39Updated 7 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 7 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- An in-memory datalog implementation for OCaml.☆272Updated 11 months ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Prolog stuff☆27Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Updated 13 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago