Negation and control in prolog - Naish Lee (Berlin Springer Verlag, 1986)
Keywords: Computer programming