Make a predicate reversible...

How to find the positive numbers in a list in Prolog?...

Prolog binding arguments...

Prolog- Returning elements from facts...

Translating a list to another list in prolog...

How does pruning choice points in the code below make it more efficient (Prolog)?...

Solving constraints with string concatenations in Prolog...

How does the predicate 'append/3' work with an anonymous variable in Prolog?...

definite clause grammar (dcg) Prolog (homework)...

Definite Logic Program...

Find the term with the lowest 2nd argument, in a list, with Prolog...

Filter List (Prolog)...

Prolog - query outputs limited answers...

Writing a predicate to add atoms...

Prolog - 2 ways for progenitor predicate implementation...

Ancestor to all reachable node...

prolog, find list elements in a list of tuples...

Remove adjacent duplicates in a list with Prolog...

Prolog getting head and tail of string...

How to call a goal and bind the number of logical inferences to a variable in Prolog?...

Prolog Recursion in lists, last but one element...

Prolog: searching for sublists of length>=3...

Prolog: delete all spaces in list...

Checking if a string is contained in a language (Prolog)...

How to find the cardinality of a set in Prolog?...

List from nested predicates...

How can I select integers from a list in Prolog?...

Convert haskell function to prolog error...

Performance of the built-in Prolog predicate (is)/2...

bagof only gives one item, though multiple items fit...