Get the latest tech news
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.
In the end we manually trigger fixpoint analysis and run a query against the resulting database of initial and derived facts. macro turns the rule into a function that when ran will try to match all of the body clauses against the database and returns the head with bound variables if it succeeds. seen (cons d seen)) #t)))) (filter unique syms)) (define (replace-symbols datum sym->gen) (cond [(symbol?
Or read this on Hacker News
