Чтение онлайн

автоматического доказательства теорем

основанная на знаниях

управляемая образцами

смысл

декларативный ещё 1 ссылка

процедурный ещё 1 ссылка

сопоставление ещё 1 ссылка ещё 1 ссылка

с образцами

сортировка

быстрая

методом "пузырька"

со вставками

списков

списковая структура

список

внесение элемента

голова

длина

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

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

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

подсписок

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

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

разбиение

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

сортировка

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

хвост

справочник

двоичный

AVL

2-3

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

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

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

комментарии

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

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

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

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

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

Т

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

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

терм

включение

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

унификация

Ф

файл 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.

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