microkanren

There are 17 repositories under microkanren topic.

ekzhang/ukanren-rs
Rust implementation of µKanren, a featherweight relational programming language.
Language:Rust107 3 15
StrykerKKD/Logical
Minimalistic logic programming framework
Language:OCaml22 4 120
the-language/zKanren
zKanren
Language:Racket12 3 64
ethframe/microkanren
microKanren in python
Language:Python9 3 01
massimo-nocentini/microkanrenpy
A Pythonic implementation of *microkanren* logic language
Language:Python9 3 62
xieyuheng/exo
logic programming in elixir
Language:Elixir9 3 1
dvberkel/microKanren
An Elm implementation of the μKanren language.
Language:Elm5 3 21
arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
Language:OCaml4 1 20
Smaug123/FicroKanSharp
A microKanren implementation in F#
Language:F#41
Erik-J-D/microKanren
The implementation of microKanren, updated for racket
Language:Racket3 1 00
fsestini/mu-kanren
Haskell implementation of the μKanren logic programming language.
Language:Haskell3 2 11
brandonwillard/hypoKanren
A microKanren implementation in Hy with constraints
Language:Hy2 3 0
jtfmumm/microkanren-pony
A Pony implementation of μKanren
Language:Pony2 3 0
jtfmumm/pony-logic
Logic programming for Pony (based on μKanren)
Language:Pony2 2 01
ashton314/microKanren
My implementation of μKanren
Language:Racket1 3 0
jasonhemann/tfp-2023
tfp-version-of-conj-disj
Language:TeX1 2 01
xavierpinho/microKanren-demo
μKanren in Haskell 98
Language:Haskell1 1 01