Find all subsequences of a list that cover the whole list in prolog...

How to flatten nested Prolog statements into a plain Horn clause...

Solving Caliban problems with prolog...

Why is there an error for the query: "query(member(one, [one,two,three]))." in Problog?...

PROLOG Make a list of words from big text file...

CLP(FD): solution number count speedup...

Why do i get : uncaught exception: error(existence_error(procedure,foggy/0),top_level/0)?...

Prolog falls into an infinite loop...

Problem with insert function into an organized list in Prolog...

Prolog Predicate for positive and negative integers...

How to collect maximal non-overlapping ascending/descending prefixes of a random sequence of numbers...

Prolog - first list is sublist of second list?...

Prolog: X is the grandfather of Y...

Why does this Prolog program not terminate?...

Blocks-World Problem in Prolog keeps oscillating between the same two states...

Moving elements in a list-of-lists in prolog...

How do I tell Prolog that a specific tuple is not in a list...

Homework, want to solve with Prolog...

Writing a DCG containing same string reversed...

Prolog fact doesn't get interpreted...

I wrote a program to handle unit conversions in Prolog, but I always get stack-overflows: Do you kno...

Composition of substitutions for unary addition in prolog?...

Prolog doesn't return the correct query (to my knowledge) when added the (X \= Y) clause...

Prolog map coloring (4 colors map) code explanation...

Trying to calculate a hash with crypto_data_hash causes SWI session to crash - am I doing something ...

Prolog existence_error procedure in basic example...

Translation to DCG Semicontext not working...

I need to write a turbo prolog program, which will remove all palindromes from the list...

create a list in prolog in range of two numbers...

Delete empty lists from lists of lists in Prolog...