Читать онлайн «Искусство программирования на языке Пролог»

Л. СТЕРЛИНГ, Э. ШАПИРО ИСКУССТВО ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ ПРОЛОГ ИЗДАТЕЛЬСТВО <МИР> ИСКУССТВО ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ ПРОЛОГ THE ART OF PROLOG Advanced Programming Techniques Leon Sterling Case Western Reserve University Ehud Shapiro The Weizmann Institute of Science with a foreword by David H. D. Warren University of Manchester The MIT Press Cambridge, Massachusetts, London, England Л. СТЕРЛИНГ Э. ШАПИРО ИСКУССТВО ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ ПРОЛОГ Перевод с английского канд. физ. -мат. наук С. Ф. СОПРУНОВА и канд. техн. наук Л. В. ШАБАНОВА . под редакцией д-ра техн. наук Ю. Г. ДАДАЕВА МОСКВА «МИР» 1990 ББК 32. 973-01 С79 УДК 681. 3 Стерлинг Л. , Шапиро Э. С79 Искусство программирования на языке Пролог: Пер. с англ. -М. : Мир, 1990. -235 с, ил. ISBN 5-03-000406-8 В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника грамматического разбора, программирование метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программирование игр, создание экспертных систем и компилятора для языка высокого уровня. Для системных программистов и инженеров-математиков, разрабатывающих информационно-программное обеспечение ЭВМ. 2404010000-297 С 136-89, чЛ 41(01)90 ББК 32. 973-01 Редакция литературы по информатике и робототехнике ISBN 5-03-000406-8 (русск. ) ISBN 0-262-19250-0 (англ. ) © 1986 by the Massachusetts Institute of Technology © перевод на русский язык, «Мир» 1990 Предисловие редактора перевода Программированию на языке Пролог, различным вариантам расширения Пролога и методам его реализации посвящено множество статей, докладов и отчетов. Издано несколько книг по этому широко известному языку, в том числе переводы на русский язык: У. Клоксин, К. Меллиш. Программирование на языке Пролог. -М. : Мир, 1987 и К. Кларк, Ф. Маккейб. Введение в логическое программирование на микро-Прологе. -М. : Радио и связь, 1987. Однако следует подчеркнуть, что предлагаемая вниманию читателей книга сильно отличается от указанных выше не только по содержанию, но и по методу описания языка Пролог. Авторы книги - известные специалисты, много сделавшие для развития и популяризации логического программирования. В частности, с именем Е. Шапиро связано создание языка Concurrent Prolog. Он является редактором серии по логическому программированию, которую открывает данная книга. Две новые книги этой серии (сборники статей по Concurrent Prolog под ред. Е. Шапиро) изданы MIT Press в 1988 г. Язык Пролог прошел длинный путь развития (почти 20 лет). Он продолжает весьма быстро распространяться. Появилось значительное число его реализаций, причем наиболее популярный вариант Turbo-Prolog доступен пользователям персональных компьютеров. Существует мнение, что Пролог пропагандируется и используется преимущественно специалистами, решающими задачи из области искусственного интеллекта.