How to simulate an 'outer join' in core.logic?...

Concise Explanation of Core.logic...

mini-Kanren, core.logic, clojure: Reasoned Scheme Exercise 60...

How to match a map that contains lvars?...

mini-kanren what is the difference between cond-a cond-u and cond-e?...

Clojure core.logic CLP(FD) projecting FD variables...

Partial Dictionary/Record Unification?...

Dynamic type relation for core.logic...

why does the output of core.logic give the same value repeated?...

Listing unique DAG parents with core.logic...

How to select from a set of possible values in minikanren / clojure-core.logic?...

Arenas where core.logic dominates [soft]...

Understanding Mini-Kanren's Execution Model...