Negation and Control in Prolog by Lee Naish