New posts in logical-purity

'if' in prolog?

prolog iso-prolog logical-purity

Using \==/2 or dif/2

prolog prolog-dif logical-purity