Title: Negation and control in PROLOG
Subjects: Prolog (Computer program language), Prolog (Lenguaje de programación)