Negation and control in Prolog - Naish, Lee (Lecture notes in computer science, 1986)