Negation and Control in Prolog door Lee Naish