Logic programming in Swift
-
Updated
May 17, 2020 - Swift
#
kanren
Here are 14 public repositories matching this topic...
Datalog implemented in minikanren
-
Updated
Sep 14, 2017 - Scheme
An implementation of microKanren for Pony.
-
Updated
May 4, 2018 - Pony
Kanren(s) embedded in OCaml for logic programming
-
Updated
Aug 2, 2021 - OCaml
Probabilistic functional logic language embedded in OCaml
-
Updated
Aug 2, 2021 - OCaml
Haskell implementation of the μKanren logic programming language.
-
Updated
May 13, 2018 - Haskell
A Pony implementation of μKanren
-
Updated
Nov 8, 2020 - Pony
Logic programming for Pony (based on μKanren)
-
Updated
May 9, 2017 - Pony
My implementation of μKanren
-
Updated
Mar 21, 2021 - Racket
experimenting with µ-kanren & relational programming 🔬
-
Updated
Dec 10, 2017 - JavaScript
A minikanren implementation in Nim(skull)
-
Updated
Aug 12, 2024 - Nim
Improve this page
Add a description, image, and links to the kanren topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kanren topic, visit your repo's landing page and select "manage topics."