Title: Negation and Control in Prolog (Lecture Notes in Computer Science)