Сибирский университет потребительской кооперации
Опубликован: 04.05.2005 | Доступ: свободный | Студентов: 4130 / 1274 | Оценка: 4.45 / 4.22 | Длительность: 12:28:00
ISBN: 978-5-9556-0034-5
  • 1.
    А.М. Кучуков, А.Н. Адаменко
    Логическое программирование и Visual Prolog
  • 2.
    И. Братко
    Программирование на языке Пролог для искусственного интеллекта
  • 3.
    А. Рейблейн, Дж. Доорс, С. Вадера
    Пролог — язык программирования будущего
  • 4.
    Гаврилов, Новицкая
    Основы программирования на Турбо Прологе
  • 5.
    Д. Соломон, Ц. Ин
    Использование Турбо-Пролога
  • 6.
    К. Кларк, Ф. Маккейб
    Введение в логическое программирование на микро-Прологе
  • 7.
    К. Меллиш, У. Клоксин
    Программирование на языке Пролог
  • 8.
    Логическое программирование и Visual Prolog
  • 9.
    Д. Марселлус
    Программирование экспертных систем на Турбо-Прологе
  • 10.
    Л. Стерлинг, Э. Шапиро
    Искусство программирования на языке Пролог
  • 11.
    Дж. Стобо
    Язык программирования Пролог
  • 12.
    Сост. Н.И. Ильинский
    Язык Пролог в пятом поколении ЭВМ: Сб. статей 1983—1986 гг.: Пер. с англ
  • 13.
    А. Янсон
    Турбо-Пролог в сжатом изложении
Виктор Бондарь
Виктор Бондарь

После приведения формулы вида ПНФ к виду ССФ вы получаете формулу, в безквантовой матрице которой дизъюнкт содержит оба контранрных атома:. Как тогда проводить его унификацию, если в случае замены x на f(x) весь дизъюнкт обратится в единицу?

Ольга Потапенко
Ольга Потапенко

никак не могу увидеть тексты самих лекций.

Сергей Пантелеев
Сергей Пантелеев
Россия, Москва
Денис Комаров
Денис Комаров
Россия, Москва