Выдержка из книги
Чери С.N.
Логическое программирование и базы данных
Знак отрицания У является важной логической связкой. Однако его включение в Дейталог сопряжено с рядом проблем как семантического, так и вычислительного характера. В частности, аксиома замкнутости мира ( АЗМ), принятая и допустимая в контексте чистого Деиталога, приводит к несогла-сованностям, если предположить возможность появления отрицания в телах правил. Тем не менее для большого класса программ ( так называемых стратифицируемых программ Деиталога) существует удовлетворительный способ обработки отрицания. Этот класс подробно описан ниже. Мы также обсудим основанную на понятии стратификации локальную стратификацию и представим альтернативный подход к определению значения программ Деиталога, содержащих отрицательные литералы, основанный на так называемой инфляционной семантике.