Haskell DSL for miniKanren
Haskell
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
src
test
.gitignore
.travis.yml
BenchmarkLVars.hs
LICENSE
README.markdown
Setup.hs
hkanren.cabal

README.markdown

HKanren

Successor of ds-kanren that provides more typeful logic programming environment in the spirit of Haskell.

This project is in a prototype stage - a work in progress for the time being.

The aim is to write miniKanren programs in Haskell as a DSL.

The distictive feature of this project is to ensure that these programs are well-typed. This was achieved by requiring all logic variables to be typed.

If you're interested, check out programs in this DSL for natural numbers (duh) and lists (more exciting).