Читать онлайн «Введение в логическое программирование на Микро-Прологе»

К. Кларк, Ф. Маккейб ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ НА МИКРО-ПРОЛОГЕ 1 INPUT X,Y IFX>Y HEN5 3 PRINT 4 GO • 6 5P4NTX , END x большее-из (х x) у большее-из (х у) если х LESS у x большее-из (х у) если у LESS x какие (х : х большее-из (3. 45 67. 34)) 1 факториал 1 «акториал у если 1 LESSx& SUM(x1 1 х) & х1 факториал у1 & IMES у1 у О сорт () (х) сорт (х) (х1 х2|х) сорт у если разделение! (х1 х2|х) Х1 Х2) & Х1 сорт у1 & Х2 сорт у2 & / & слияние(у1 у2 у) слияние () х х) слияние (х х) лияние (х1|у1) (х2|у2) (х|у)) если выбор! ((x1|yl) (x2|y2) xY1 Y2) & слияние(Y1 Y2 у) выбор((х1|у1) (х2|у2) х1 у1 (х2|у2)) если х1 меньше х2 выбор((х1|у1) (х2|у2) х2 (х1|у1) у2) если неверно х1 меньше х2 разделение (X Х1 Х2) если разделить-на# ((дел (длина X) 2) X Х1 Х2) разделить-на (О X . () X) • азделит - а (у (х|-Х) (х|Х1) Х2) если О LESS у & SUM(y1 1 у) & • азделить-на (у1 X Х1 Х2) ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ НА МИКРО-ПРОЛОГЕ micro-PROLOG: PROGRAMMING IN LOGIC K. L. Clark and F. G. McCabe with contributions by: M. H. van Emden J. R. Ennals P. Hammond R. A. Kowahki F. Kriwaczck M. J. Sergot Englewood Cliffs, New Jersey ■ London • New Delhi Rio de Janeiro • Singapore • Sydney • Tokyo • Toronto • Wellington К. Кларк, Ф. Маккейб ВВЕДЕНИЕ В ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ НА МИКРО-ПРОЛОГЕ Перевод с английского А. И. Горлина Под редакцией В. В. Мартынюка Москва «Родионсвязь» 1987 ББК 32. 973 К 47 УДК 519. 681 Редакция переводной литературы Кларк К. , Маккейб Ф. К 47 Введение в логическое программирование на микро-Прологе: Пер. с англ. - М. : Радио и связь, 1987. - 312 с: ил. Книга известных английских специалистов является доступным введением в новую отрасль программирования — логическое программирование с использованием языка Пролог, реализованного на микро-ЭВМ. Рассмотрены основные возможности и приемы логического программирования, средства Пролога и методы их применения. Описан стандартный синтаксис языка микро-Пролог. Показано применение логического программирования и Пролога к таким задачам, как анализ критического пути в графе, создание экспертных систем, программирование игр и разработка систем для решения задач. Для широкого круга программистов. 1984 by Logic Programming Associated, Ltd. Перевод на русский язык, предисловие к русскому изданию, примечания редактора и переводчика. Издательство "Радио и связь", 1987 Предисловие к русскому изданию Язык логического программирования Пролог был разработан А. Коль- мероером и его сотрудниками в начале 70-х годов и долгое время оставался просто одним из многих языков искусственного интеллекта (ИИ), которым интересовались лишь небольшие группы исследователей. В последнее время положение коренным образом изменилось, и Пролог стал популярен практически во всем мире. Произошло это по многим причинам. Прежде всего, приобрела особую актуальность проблематика искусственного интеллекта и, как следствие, изменилось отношение к инструментальным средствам ИИ, в первую очередь к языкам ИИ.