How can Prolog derive nonsense results such as 3 < 2?

Question

A paper I\'m reading says the following:

Plaisted [3] showed that it\'s possible to write formally correct PROLOG programs using first-order predicate-ca