Powerset o a set(list) in Prolog...

Possible bug or omission...

Prolog combinatoric of two lists ignoring the last items...

Different answers when using anonymous variable and "normal" variable in Prolog...

Define a predicate that holds of both numeral and their negative and enumerate them...

Working with list of lists in Prolog...

Is "almost pure" Prolog expressive?...

Setting order method in Sicstus prolog Samsort...

How do I create a DCG rule inverse to another in Prolog?...

Prolog recursive predicate returns to initial state after ending...

Grounding in Prolog given a predicate and a list...

How would you express mutual exclusion of facts in Prolog?...

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

How to create a list without using findall? Prolog...

How to remove variants from a List? Prolog...

DCG : zero-or-more, zero-or-one , one-or-more occurrences?...

Expressing numerical constraints using Prolog without CLP(FD)...

Prolog Accumulators. Are they really a "different" concept?...

Use of redundant goals in queries...

Increase stack size in runtime in Swi-prolog...

included_list(List1, List2)...

`less/2` relation in Peano arithmetic...

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

Prolog CLPFD Transitivity...

Prolog - confused about return results of recursive rule...

No implemantation in prolog MAZE...

How to express infinity in Prolog?...

Prolog - transforming a binary function into an n-ary one...

How do I read a line of input from a user, until an EOF is hit, in GNU Prolog?...

99 bottles of beer in Prolog...