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