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