Иван Братко - Программирование на языке Пролог для искусственного интеллекта

добавление элемента      ещё 1 ссылка

          конкатенация

          перестановки

          подсписок

          представление

          принадлежность       ещё 1 ссылка

          разбиение

          разностное представление

          сортировка

          удаление элемента

          хвост

    справочник

          двоичный

          AVL

          2-3

    статические оценки

    степень доверия

    стиль программирования

          комментарии

          стилистические правила

    структурное программирование

    структурные объекты

    структуры в Прологе

    субъективная уверенность

    Т

    таблица советов

    тело предложения

    терм

          включение

          копия      ещё 1 ссылка

          унификация

    Ф

    файл user

    файлы

          в Прологе

          термов

    факты в Прологе

    формула Хорна

    форсированное дерево

    функтор

          арность

          главный

    Х

    хвост списка

    Ц

    цель

          достижима

          имеет неуспех

          логически следует

          недостижима

          терпит неудачу

          успешна

    цели

          вычисление списка

          дизъюнкция

          конъюнкция

    Ч

    числа в Прологе

    чистый Пролог

    Ш

    шаг резолюции       ещё 1 ссылка

    Э

    эвристические оценки

    эвристический поиск      ещё 1 ссылка

    эвристическое отсечение

    экспертная система

    элементарный совет

          выполнимость

    эффект горизонта

Назад | Содержание | Вперёд

Назад | Содержание

3-я страница обложки 

Учебное издание

Иван Братко

Программирование на языке Пролог

для искусственного интеллекта

Заведующий редакцией чл.-корр. АН СССР проф. В.И.Арнольд

Зам.зав. редакцией А.С. Попов

Ст. научный редактор М. В.Хатунцева

Художественный редактор В.И. Шаповалов

Художник В. А. Медников

График Л. Г. Туранова

Корректор А.Ф. Рыбальченко

ИБ  №  7199

Оригинал-макет подготовлен на персональном компьютере и

отпечатан на лазерном принтере в издательстве "Мир"

Подписано к печати 13.08.90. Формат 84 х 108 ¹/32. Бумага кн. журн. имп. Печать высокая. Гарнитура литературная. Объем 8,75 бум. л. Усл. печ. л. 29,40. Усл. кр.-отт. 29,40. Уч.-изд. л. 25,60.

Изд. № 1/6603. Тираж 100 000 экз. Зак. № 633. Цена 3 р. 50 к.

Издательство "Мир" В/О "Совэкспорткнига" Госкомпечати СССР

129820, ГСП, Москва, И-110. 1-й Рижский пер.,. 2.

Отпечатано в Ленинградской типографии №2 головном предприятии

ордена Трудового Красного Знамени Ленинградского объединения

'Техническая книга" им. Евгении Соколовой Государственного

комитета СССР по печати.

198052, г.Ленинград, Л-52, Измайловский проспект, 29.

Назад | Содержание

--">