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