Remove leading s(s(0)) in list...

Guard clauses in prolog?...

Reifying groundness in Prolog with Attributed Variables...

What is the approach for dealing with "residual goals" in Prolog?...

Unexpected behavior of frozen/2...

SWI-Prolog: How to use my own predicate as a condition in when/2...

freeze/2 goals blocking on variables that have become unreachable...

On mixing Prolog coroutining (freeze/2, when/2) and DCG...

How to write/edit own coroutines in Prolog?...

Freezing goal in prolog...

freeze for more than one variable...

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