New posts in Prolog Dif

How to express a disjunction of inequalities compactly without redundant answers/solutions

Longest common prefix (LCP) of a list of strings

Using \==/2 or dif/2