Negation and Control in Prolog