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