#

kanren

Here are 2 public repositories matching this topic...

fsestini / mu-kanren

Haskell implementation of the μKanren logic programming language.

haskell logic-programming kanren microkanren

Updated May 13, 2018
Haskell

kyagrd / houkanren

Higher-Order twist to MicroKanren

haskell logic-programming kanren

Updated Jan 25, 2021
Haskell

Improve this page

Add a description, image, and links to the kanren topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the kanren topic, visit your repo's landing page and select "manage topics."