Title: Techniques of Prolog programming
Subjects: Negation (Logic), Prolog (Computer program language)