|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Основы программирования на языке Пролог
: Глоссарий
Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4348 / 1369 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги:
ACM
Лекция: 1 стр. 1
arity
Лекция: 1 стр. 1
AS
Лекция: 1 стр. 1
CAR
Лекция: 7 стр. 1
center
Лекция: 1 стр. 2
compiler directive
Лекция: 5 стр. 1
computing technology
Лекция: 1 стр. 1
CONS
Лекция: 7 стр. 1
database
Лекция: 13 стр. 1
demonstration
Лекция: 1 стр. 1
development
Лекция: 1 стр. 2
division
Лекция: 8 стр. 1
DOS
Лекция: 4 стр. 2
end
Лекция: 12 стр. 1
FIB
Лекция: 4 стр. 2
function
Лекция: 2 стр. 3
generation
Лекция: 1 стр. 1
IFIP
Лекция: 1 стр. 1
international
Лекция: 1 стр. 2
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?