Zaslat SMS: Negation and control in PROLOG /