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

Inverting `member` in Curry (PAKCS) gives no answers...

Finding all nodes connected to a vertex in Prolog...

Integer constraints and difference of two lists...

Is "almost pure" Prolog expressive?...

Is there any difference between an N-ary function in Curry and an N+1-ary relation in Prolog?...

NU-Prolog's and Gödel's logical and sound `if-then-else` extension...

Is pure Prolog Turing-complete, and if so, why can't it implement list intersection?...

What is more interesting or powerful: Curry, Mercury or Lambda-Prolog?...

λProlog rejecting hypothetical reasoning queries?...

Does HiLog add anything that can not be done with "call" in Prolog?...

write a predicate from other predicates by filtering based on predicate attributes with arithmetic o...

Are there formal systems that allow you to make human-like higher-order statements?...

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

Relational/Logic Programming in Python?...

Prolog Recursion might not be exiting with proper boundary condition...

Clojure core.logic : nafc and ground...

Clojure.logic difference with The Reasoned Schemer...

Prolog ways to compare variables...

Why hasn't logic programming caught on?...

Brave/Cautious reasoning in clingo...

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

Creating relations with unify and regular expression...

Answer set of a program - why is the empty set not an answer set?...

How to generate negative examples in inductive logic programming?...

Correct use of logic languages as a tool...

Embedded Prolog Interpreter/Compiler for Java...

SLD resolution tree, Which predicate applies to give first re-solvent...

":=" and "=>" in Mercury...

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