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

A graph DB vs a Prolog (or miniKanren)...

conda, condi, conde, condu...

What are the main technical differences between Prolog and miniKanren, with respect to logic program...

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

Why does introducing numbero in minikanren cause the failure of valid unifications?...

Extracting finite domain lvars from a map...

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

Clarify search algorithms in different minikanren implementation...

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

Why does "disj" from miniKanren work in Scheme but not in Racket?...

What are the best uses of Logic Programming?...

MicroKanren - what are the terms?...

miniKanren (logpy, or others) how to assert a fact is true?...

clp(Z) vs. Kiselyov relational arithmetic...

Clojure core.logic : nafc and ground...

The Reasoned Schemer : Not understanding Exercise 57...

Clojure.logic difference with The Reasoned Schemer...

Why does 'The Reasoned Schemer' add an 'o' to the end of its functions?...

Simple Prolog to Clojure core.logic...

How to use quote and unquote to more faithfully translate The Reasoned Schemer into Racket?...

All possible sublists scheme...

Correct use of logic languages as a tool...

Why do miniKanren names always end with `o`?...

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

How should I handle repeated updating in logical programming?...

What does non-relational mean in practice for core.logic?...

Modelling recipes and available ingredients with constraint logic...

Finding similar sets with clojure's core.logic / minikanren...

Modelling Constraint Logic Programs (for analysis)...