|
После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома: |
Инспектор
Вы можете этот курс.
Основы программирования на языке Пролог
:Основы программирования на языке Пролог
: Литература по курсу
Опубликован: 04.05.2005 | Уровень: для всех | Доступ: платный | ВУЗ: Сибирский университет потребительской кооперации
- 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) весь дизъюнкт обратится в единицу?
