Envoyer par SMS: Nemonotónnosť z hľadiska logického programovania.