Text this: Negation and control in PROLOG /