Другим возможным обобщением расширенного логического программирования может быть использование модальных операторов логики, допускающих конъюнкцию и ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Вагин В.Н.
Достоверный и правдоподобный вывод в интеллектуальных системах
Другим возможным обобщением расширенного логического программирования может быть использование модальных операторов логики, допускающих конъюнкцию и дизъюнкцию.