Prolog
Шрифт:
файл user
файлы
в Прологе
термов
факты в Прологе
формула Хорна
форсированное дерево
функтор
арность
главный
Х
хвост списка
Ц
цель
достижима
имеет неуспех
логически следует
недостижима
терпит неудачу
успешна
цели
вычисление списка
дизъюнкция
конъюнкция
Ч
числа в Прологе
чистый Пролог
Ш
шаг резолюции ещё 1 ссылка
Э
эвристические оценки
эвристический поиск ещё 1 ссылка
эвристическое отсечение
экспертная система
элементарный совет
выполнимость
эффект горизонта
Назад | Содержание | Вперёд
Назад | Содержание
3-я страница обложки
Учебное издание
Иван Братко
Программирование на языке Пролог
для искусственного интеллекта
Заведующий редакцией чл.-корр. АН СССР проф. В.И.Арнольд
Зам.зав. редакцией А.С. Попов
Ст. научный редактор М. В.Хатунцева
Художественный редактор В.И. Шаповалов
Художник В. А. Медников
График Л. Г. Туранова
Корректор А.Ф. Рыбальченко
ИБ № 7199
Оригинал-макет подготовлен на персональном компьютере и
отпечатан на лазерном принтере в издательстве "Мир"
Подписано к печати 13.08.90. Формат 84 х 108 1/32. Бумага кн. журн. имп. Печать высокая. Гарнитура литературная. Объем 8,75 бум. л. Усл. печ. л. 29,40. Усл. кр.-отт. 29,40. Уч.-изд. л. 25,60.
Изд. № 1/6603. Тираж 100 000 экз. Зак. № 633. Цена 3 р. 50 к.
Издательство "Мир" В/О "Совэкспорткнига" Госкомпечати СССР
129820, ГСП, Москва, И-110. 1-й Рижский пер.,. 2.
Отпечатано в Ленинградской типографии №2 головном предприятии
ордена Трудового Красного Знамени Ленинградского объединения
'Техническая книга" им. Евгении Соколовой Государственного
комитета СССР по печати.
198052, г.Ленинград, Л-52, Измайловский проспект, 29.
Назад | Содержание