GitHub - seantalts/hasktrip: Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas. · GitHub

Name		Name	Last commit message	Last commit date
app		app
doc		doc
src		src
test		test
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
hasktrip.cabal		hasktrip.cabal
package.yaml		package.yaml
stack.yaml		stack.yaml

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.

BSD-3-Clause license

23 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages