Logic programming: how to distribute resources among consumers?...

Prolog XOR on elements of list...

SWI Prolog pass a goal with non-zero arity through the command line arguments...

Swapping consecutive items of a list in Prolog...

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

Fixed Point and Proof theory...

Modelling Constraint Logic Programs (for analysis)...

Prolog: How can I implement the sum of squares of two largest numbers out of three?...

Why does creating a relationship in pyDatalog seem to give me the wrong answer?...

Loading a datalog program in a file into pyDatalog...

pyDatalog: handling unbound variables in a custom predicate...

Adding dynamical amount of numbers...

Looking for a prolog interpreter...

Prolog Nim Game - Out of local stack error...

implicit definition and tail recursion...

Transforming recursion into tail recursion?...

Turn a Maude expression into a String...

Concise Explanation of Core.logic...

Herbrand universe and Least herbrand Model...

Why DLV finds an answer set rather than another, in this ASP example program?...

Alloy constraint specification...

Constraint logic programming with sets in Prolog...

pyDatalog: is it possible to define multiple independent datalog sessions?...

Any Prolog implementation that allows left recursion?...

Prolog: getting rid of a recursive helper predicate...

Goal ordering in Clojure's `core.logic`...

Cool, visually-transmissible uses of Prolog...

Shortest way to define multiple rules in prolog...

Listing unique DAG parents with core.logic...

Prolog - what sort of sentences can't be expressed...