|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Основы программирования на языке Пролог
: Литература по курсу
Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4348 / 1369 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
Тема: Программирование
Специальности: Программист, Архитектор программного обеспечения
Теги:
- 1.Логическое программирование и Visual PrologСПб.: БХВ—Петербург, 2003
- 2.Программирование на языке Пролог для искусственного интеллектаМ.: Мир, 1990
- 3.Пролог — язык программирования будущегоМ.: Финансы и статистика, 1990
- 4.Основы программирования на Турбо ПрологеНовосибирск: НГТУ,1993
- 5.Использование Турбо-ПрологаМ.: Мир, 1993.
- 6.Введение в логическое программирование на микро-ПрологеМ.: Радио и связь, 1987
- 7.Программирование на языке ПрологМ.: Мир, 1987
- 8.Логическое программирование и Visual PrologСанкт-Петербург: БХВ-Петербург, 2003
- 9.Программирование экспертных систем на Турбо-ПрологеМ.: Финансы и статистика, 1994
- 10.Искусство программирования на языке ПрологМ.:Мир, 1990
- 11.Язык программирования ПрологМ.: Радио и связь, 1993
- 12.Язык Пролог в пятом поколении ЭВМ: Сб. статей 1983—1986 гг.: Пер. с англМ.: Мир, 1990
- 13.Турбо-Пролог в сжатом изложенииМ.: Мир, 1991
Виктор Бондарь
. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?