Логическое программирование: Пер. с англ, и фр.— М.: Мир, 1988. — 368 с., ил. ISBN 5-03-000972-8
Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Серели (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р. Ковальский (Великобритания).
Для математиков-прикладников, программистов, аспирантов и студентов университетов.
ПРЕДИСЛОВИЕ
В последние годы внимание специалистов в области программирования, информатики и вычислительной техники все больше привлекает новое направление, возникшее на стыке математической логики и программирования и получившее название логического программирования. В русле этого направления появились новые языки, техника реализации и проекты машинных архитектур. Как наиболее известные примеры можно назвать созданный А. Колмероэ во Франции язык Пролог, эдинбургскую реализацию Пролога, выполненную Д. Уорреном, и японский национальный проект вычислительных систем пятого поколения.
Идейные корни логического программирования лежат в математической логике, где усилиями нескольких поколений математиков всего мира были созданы методы формального описания задач с помощью логических формул и методы формальных доказательств -(выводов, дедукций), позволяющие достаточно удобно описывать функции и отношения и автоматически получать по этим описаниям решения с приемлемой степенью эффективности. Соответствующая теоретическая работа велась и у нас в СССР, но недостаточно интенсивно и не всегда доводилась до приемлемых для вычислительной практики результатов.
Настоящий сборник призван содействовать осознанию этого нового явления в информатике и освоению накопленного в мире передового опыта. Литература по логическому программированию велика, но плохо доступна и мало известна широким кругам советских специалистов в области программирования и информатики. Сборник задуман как своего рода хрестоматия, в которую отобраны не самые новые, но представительные работы, фиксирующие важные этапы развития логического программирования. Они дают информацию из первых рук о главных аспектах логического программирования— теоретических основах, языках, реализациях, применениях (не представлена только тема машинной архитектуры, которая ближе к вычислительной технике и заслуживает осо-
СОДЕРЖАНИЕ
Предисловие ......................5
Дж. Робинсон. Логическое программирование — прошлое, настоящее
и будущее. Перевод Агафонова В. Н.......... 7
А. Колмероэ, А. Кануи, М. ван Канегем. Пролог — теоретические основы и современное развитие. Перевод Хомякова М. В. . . . 27
Р. Ковальский. Логическое программирование. Перевод Воронкова А. А. 134
Б. Домёлки, П. Середи. Практическое использование Пролога. Перевод Борщева В. Б..................167
М. Бранохе. Управление памятью в реализациях Пролога. Перевод
Веницкого С. Л..................193
К- Кларк, У. Маккиман, Ш. Зикель. Спецификация алгоритмов численного интегрирования на языке логических программ. Перевод Воронкова А. А................211
A. Ханссон, С. Хариди, С.-А. Тернлунд. Свойства одного языка логи-
ческого программирования. Перевод Веницкого С. Л.....230
К. Кларк, Ф. Маккейб, С. Грегори. Средства языка IC-PROLOQ. Перевод Нумерова В. С................245
Дж. Робинсон, Э. Зиберт. Логлисп: мотивировка, основные возможности и реализация. Перевод Нумерова В. С........261
М. Хагия, Т. Сакураи. Основы логического программирования, базирующиеся на индуктивных определениях. Перевод Воронкова А. А.....................276
B. Н. Агафонов, В. Б. Борщев, А. А. Воронков. Логическое програм-
мирование в широком смысле (обзор).........298
Цена: 200руб.
