У Клоксин , К Меллиш - Программирование на языке Пролог
Название: | Программирование на языке Пролог | |
Автор: | У Клоксин , К Меллиш | |
Жанр: | Литература ХX века (эпоха Социальных революций), Советские издания, Искусственный интеллект, Prolog | |
Изадано в серии: | неизвестно | |
Издательство: | неизвестно | |
Год издания: | - | |
ISBN: | неизвестно | |
Отзывы: | Комментировать | |
Рейтинг: | ||
Поделись книгой с друзьями! Помощь сайту: донат на оплату сервера |
Краткое содержание книги "Программирование на языке Пролог"
Книга английских специалистов, содержащая описание основ логического программирования и особенностей языка Пролог – базового языка ЭВМ пятого поколения. Области применения этого языка связаны с разработкой экспертных систем, интеллектуальных баз данных, обработкой естественного языка, разработкой компиляторов ЭВМ. Книга полезна для первого ознакомления с языком Пролог.
Читаем онлайн "Программирование на языке Пролог". [Страница - 149]
(обратно)
11
Имеется перевод 1-го издания: Уинстон П., Искусственный интеллект. - М.: Мир, 1980. - Прим. перев.(обратно)
12
Имеется в виду константа в смысле Пролога. - Прим. ред.(обратно)
13
Тем самым обеспечивает возможность вновь согласовать предикат consult. В противном случае механизм возврата никогда не смог бы миновать repeat, у которого всегда есть альтернативное решение. - Прим. ред.(обратно)
14
На «ломаном» русском языке этот пример можно представить следующим образом: «Каждый мужчина нравится некоторая женщина».все (X, мужчина (X)--› существует (Y, (женщина (Y) & нравится (X)))). - Прим. ред.
(обратно)
15
Имеется перевод: Мендельсон Э. Введение в математическую логику.- М.: Наука, 1971.- Прим. перев.(обратно)
16
Имеется перевод: Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем.- М.: Наука, 1983.- Прим. перев.(обратно)
17
В некоторых последующих примерах допущена неточность: в формулах используется импликация, хотя все импликации должны быть удалены на первом этапе.- Прим. перев.(обратно)
18
В дальнейшем – Пролог-10.- Прим. перев.(обратно)
19
The MPROLOG System, SZKI, Budapest, 1986.© SZKI, Budapest, 1986
© перевод на русский язык, «Мир», 1987
(обратно)
20
Вспомогательная информация, выдаваемая по команде help, переведена на русский язык.- Прим. ред.(обратно)
21
Здесь допущена неточность: во входном потоке при возвратном ходе сохраняется не аааа, а то, что прочитано из него до возврата. - Прим. ред. (обратно)--">
Книги схожие с «Программирование на языке Пролог» по жанру, серии, автору или названию:
Дж. Макаллистер - Искусственный интеллект и Пролог на микроЭВМ Жанр: Базы данных Год издания: 1990 |
Владимир Павлович Дьяконов - Применение персональных ЭВМ и программирование на языке Бейсик Жанр: Basic, Visual Basic, VB Script, VBA и т.п. Год издания: 1989 |