Skip to content
seantaltsPublic

About

Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.

Resources

Stars

23 stars

Watchers

3 watching

Forks

Latest commit

 

History

27 Commits

Folders and files

Repository files navigation

A work in progress.

For now, check out this literate, streamless MicroKanren implementation in Haskell: MicroKanren.lhs

About

Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.

Resources

Stars

23 stars

Watchers

3 watching

Forks

Releases

Packages

Contributors

Languages