Performance characteristics of core.logic with many finite domain constraints...

Clojure core.logic on Finite Domain subtraction not working as expected and not documented...

conda, condi, conde, condu...

why the following clojure core.logic expression returns no solutions? `(run* [a b] (== {:a b} {a :b}...

How to Extract Clojure string to enumerable of strings?...

Is a "facts database" not a core feature of miniKanren?...

Extracting finite domain lvars from a map...

Non-termination when query variable is on a specific position...

How does one simply write an interceptor that extracts json from a get/post request using Pedestal...

Does MiniKanren have the "not" operator?...

Clojure, core.logic: listo...

Minimize/maximize possible in clojure / core.logic?...

Clojure.logic difference with The Reasoned Schemer...

Simple Prolog to Clojure core.logic...

How does clojure bind variable parameters?...

Clojure: How to get an exact answer in a function that calculates the average...

pseudo-relation in core.logic...

How to rewrite the core.logic snippet?...

Need clarification in understanding a custom core.logic constraint...

Is there a better way to access nested maps and vectors in Clojure?...

Using apply in core.logic Clojure (CLP) Cryptoarithmetic...

Clojure core.logic. Can I use complex data-structures in facts and rules?...

Debugging a slow performing function in Clojure...

Function not returning (Clojure)...

Correct use of logic languages as a tool...

What syntax core.logic matche, defne pattern matching constructs use?...

How to operate on a sequence of lvars...

How to write your own simple constraint function in core.logic?...

Why does this implementation of sorto does not terminate?...

core.logic explain how `fresh` changes results...