Skip to content(if available)orjump to list(if available)

Datalog in miniKanren

Datalog in miniKanren

4 comments

·June 15, 2025
Visit

deosjr

Seems like interest in Datalog is high this week, so I thought I'd share a write-up of a minimal Datalog implementation I did a while ago.

Runs in the browser using Hoot (https://spritely.institute/hoot/) which compiles Guile Scheme to WebAssembly.

upghost

Datalog is a syntactic subset of Prolog[1], which this is... not.

I think the most misunderstood thing about Prolog (and Datalog, the functor-free subset of pure Prolog) is that the syntax is really, really important.

It's like, the whole gimmick of the language. It is designed to efficiently and elegantly query and transform itself. If you lose the syntax you lose all of intermediate and advanced Prolog (and Datalog).

[1]: https://en.m.wikipedia.org/wiki/Datalog

fithisux

What scheme is this?

deosjr

Guile Scheme. See https://github.com/deosjr/deosjr.github.io/blob/master/dynam... for more.