Datalog in miniKanren
A browser with Wasm GC and tail call support is required for this demo. We recommend using either Mozilla Firefox or Google Chrome. Datalog in miniKanren Having access to an embedded logical programming language makes some tasks really easy. One prerequisite for RealTalk is some form of Datalog, and I built one in Scheme using miniKanren so that I had access to all of the internals. This page explains the naive Datalog implementation I did before modifying some of it to fit my version of Dynam