is_list/1 and free variables...

Prolog : avoid redundant choice points (non-determinism) with and without cut operator...

Prolog: remove member of list with non-instantiated values...

Eliminate consecutive duplicates...

Why is SWI-Prolog only giving one solution?...

Prolog - Return result instead of printing in algorithm...

Prolog: redundant program points in failure-slice?...

Order of goals(statements) in Prolog rules...

different/2 - does a pure, determinate definition exist?...

Redundant answers of reified predicate variant of append/3...

What is meant by "logical purity" in Prolog?...

Coroutining in Prolog: when argument is a list (it has fixed length)...