Negation and control in PROLOG - Naish, Lee, 1960- (Lecture notes in computer science ;, 1986)