Prolog Language Logical Purity dif/2


Example

The predicate dif/2 is a pure predicate: It can be used in all directions and with all instantiation patterns, always meaning that its two arguments are different.