Rust implementation of µKanren, a featherweight relational programming language.
-
Updated
Jan 1, 2023 - Rust
Rust implementation of µKanren, a featherweight relational programming language.
zKanren
A Pythonic implementation of *microkanren* logic language
Haskell implementation of the μKanren logic programming language.
microKanren in python
μKanren in Haskell 98
Logic programming for Pony (based on μKanren)
A simple Lisp interpreter with full TCO and GC, from scratch, running microKanren
The implementation of microKanren, updated for racket
Kanren(s) embedded in OCaml for logic programming
A microKanren implementation in Hy with constraints
A Pony implementation of μKanren
My implementation of μKanren
Minimalistic logic programming framework
logic programming in elixir
Add a description, image, and links to the microkanren topic page so that developers can more easily learn about it.
To associate your repository with the microkanren topic, visit your repo's landing page and select "manage topics."