Negation and control in PROLOG / - Naish, Lee (Springer-Verlag, 1986)