New posts in Logical Purity

Use of redundant goals in queries

Longest common prefix (LCP) of a list of strings

Using \==/2 or dif/2

'if' in prolog?