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 2 months ago
- Kanren with databases☆44Updated last year
- Datalog implemented in minikanren☆24Updated 8 years ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- S-expression swiss knife☆47Updated 2 weeks ago
- The Boomerang Bidirectional Programming Language☆76Updated 2 years ago
- ☆31Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 3 weeks ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆119Updated last week
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Prolog stuff☆27Updated 6 years ago
- ☆71Updated 5 years ago
- ☆56Updated 5 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆60Updated last year
- Relational Programming in miniKanren☆52Updated 10 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆16Updated 7 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Run SWI-Prolog in your browser using WebAssemply☆77Updated 3 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆219Updated 2 years ago
- debugging biological networks to reach coherence, completeness and consistency☆47Updated last year
- Light library to deal with RPCs in OCaml☆98Updated 2 months ago
- Erlang to Scheme compiler☆39Updated 13 years ago
- ☆13Updated last month
- Generic graph library and algorithms for Racket.☆59Updated last year
- miniKanren for search, SMT for solving☆13Updated 6 years ago
- Simplify the configuration of editors for using OCaml tools☆82Updated last year
- ☆38Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago