PREDICATE LOGIC AS A COMPUTATIONAL FORMALISM - CLARK,K.L (OTH LONDON, 1979)