Prolog: pythagorean triple...

count the number of calls of a clause...

Implementing "last" in Prolog...

Prolog - how to check if a predicate succeeds more than once...

Prolog: Failure driven loops...

DCG Expansion: Is Steadfastness ignored?...

Trying to count steps through recursion?...

Remove Ambiguity in abstract syntax in other to write DCG parser Prolog...

What's the SLD tree for this query?...

What are the optimal green cuts for successor arithmetics sum?...

Why does Prolog crash in this simple example?...

Prolog parse tree generation fails...

Finding if a set is additive mod K in Prolog...

SWI Prolog does not terminate...

DCG and left recursion...

Getting an order into predicate resolution...

DCG for idiomatic phrase preference...

Silly detail enquiry about Prolog unification...

user defined square predicate...

False value returned in Prolog?...

prolog dcg restriction...

Prolog - get the factors for a given number doesn't stop?...

Prolog: partition integer list items by their parity...

Writing elements in prolog console...

How does recursion in Prolog works from inside. One example...

Computational complexity of recursion in prolog...

Prolog - wolf goat cabbage...

Prolog list membership, multiple results returned...

Force Prolog to choose unique values of variables...

How to duplicate the behavior of predefined length/2 in SWI-Prolog?...