#

minikanren

Here are 3 public repositories matching this topic...

snejugal / typedKanren

A statically typed embedding of miniKanren in Haskell

haskell minikanren logic-programming

Updated Oct 9, 2024
Haskell

xavierpinho / microKanren-demo

μKanren in Haskell 98

minikanren logic-programming microkanren relational-programming

Updated Jan 9, 2022
Haskell

pluralia / uKanren_translator

Translator miniKanren to Haskell

haskell translator minikanren

Updated Feb 18, 2021
Haskell

Improve this page

Add a description, image, and links to the minikanren 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 minikanren topic, visit your repo's landing page and select "manage topics."