Т. Пратт, М. Зелковиц - Языки программирования - разработка и реализация (4-е издание_ 2002) (1160801), страница 180
Текст из файла (страница 180)
Ь указывает расстояние в массиве, откуда следует начинать, измеряемое в количестнах сегментов от начала линии, а не как значение индекса массива. Поясним это на примерах: [] 0 хе!лип — сплошная линия [1]0 зееевхп — отрезок, пробел, отрезок.. [П1 хе!база — пробел, отрезок, пробел... [123]2 зеглаьн — пробел, 3 отрезка, пробел, 2 отрезка, 3 пробела... Устанавливает оттенок серого в качестве текущего цвета. Π— соответствует черному, 1 — белому Определяет способ соединения линий, обрааующих фигуру: О встык, 1 — с закруглением, 2 — соединение под прямым углом Ус! ьнавливает тскугцую тол!цицу липин Рисует линию вокруг текущего контура Сдвиг начала координат на расстоянпя, укаэанные в качестве параметров опервнип. Тем самым начало координат переносится ит нижнего левого угла н новую точку с1озераш(0,0) соггепхро!пг(0,2) еоп !1(0,0) егахераре(О.О) (!!!(О.О) пеира[п(0 О) зса!е(2.0) хегцахы2,0) хеейгауп .О) хег!зпесар(1 О) хе!11пехшгп (1.
О) э!го[с(0.0) !гзпз1а1е(2.0) П.11. Рго!од Пример с пояснениями В этом примере, как и в предыдущих случаях, мы приводим программу, которая суммирует элементы числового вектора. Для простоты мы предполагаем, что входиыедаииыепредставлеиывформеотиоп)ения Рго!Ой:(]ОГача]5[количестзо эленеитоз, [эйемеи(ы списка] ). В листииге П.13 приведен пример выполнения такой программы. 654 Приложение. Обзоры языков Листинг П.13. Пример суммирования элементов массива на языке Рго1од 1 Хещгог бага.рго1о9 2 /* Данные считываются иаи о/новения Рго)оц */ 3 батача)з(4.[ 1.2.3.4]) 4 Хеб Ьог рцв.рго109 5 цо .- гесопво1Ы 'бага.рго1оц').
6 басача)в(А.В). 7 1И50М зз О, 8 Гог(А.В.!И50М.ОЩ50М).п1. 9 ыт Се('50М '),ыгзге(00150М) п). 10 /* цинл Гог выполняется '!' раз */ П Гог(1,8,!И50М ООТ50М) - пег(1-0). 12 В=[НЕАО)ТА![] 13 ыг([е(НЕАО). 14 ИЕНЧА[ зз 1И50М+НЕАО, 15 Тог(1-1.ТА1С ИЕИЧА[,ООТ50М) 16 /*Если 1=0, возвравае/ся вычисленное значение !И50М*/ 17 Тог( . .1И50М,ООТ50М) - 00Т50М " !И50М 18 пос(Х) .- х, ' Таз). 19 пот ) 20 Хрго1оц 21 ! ?- СОпзы11('рцв рго1оц'). 22 [сопЫ Сзпц /аагоп/вчз/Ьоок/рцв рго1оц ) 23 [/аагоп/вча/ьоох/рцв.рго)оц сапы себ, ЗО ввес 1456 ьусез) 24 уев 25 ! ?- цо. 26 (сопят ы пц /аагоп/вчг/ьоох/баса.рго)оц ..1 27 (/аагоп/вчг/Ьоок/бага.рго)оц сопво)себ.
10 ввес 384 Ьу(ев) 28 1234 29 50М - 10 30 уез Строки ? — 3. Вызывается редактор для создания файла данных. Вводом в на- шей программе будет факт басача15, который содержит общее количество сумми- руемых чисел и список самих чисел.
Строка 4. Вызывается редактор для создания программы. Текст программы можно было бы ввести с клавиатуры непосредственно в Рго!оя с помощью встро- енного предиката сопвы)[(ызег), вместо того чтобы заранее создавать его в файле, а потом вводить в Рго)оя с помощью предиката соп5011('рдв.рго1од' ) в строке 21.
Строка 5, Здесь определяется основная цель программы — разрешение преди- ката до. Этот предикат буден разрешен, если разрешатся строки с 5 по 9. Сначала до модифицирует базу данных, считывая файл ба1а.рш1од и добавляя в базу данных любые новые факты, содержащиеся в этом файле, — в нашем случае это единствен- ный факт басача15 из строки 3. Строка б. Результатом выполнения этой строки буде~ прпспапвание (в дей- ствительности — унификация) А первого атома предиката ба сача)5, количества сум- мируемыхэлементов(Я=4), и В вектора элементов(В = [1 2.3.4]).
Строка?. Значение 1И50М устанавливается равным О. ! 5 означает «требуется», = означает идентичность, и наш оператор просто унифицирует два объекта, чтобы онн являлись одним и тем же, если зто возможно. Строка 8. В этой строке создается цикл Тог с использованием рекурсии. Прав и- ло будет выполняться А раз (А — это количество элементов в векторе В), передавая каждый раз вектор В и 1И50М и возвращая 00Т50М = [И50М «злеиент В. Поскольку П.!!. Рго!оО 666 правило 1ог будет печатать значение каждого элемента вектора О, функция п! после выполнения цикла напечатает символ новой строки, Строка 9.
По возвращении нз правила 1ог переменная ОЛ5ОМ содержит требуемую сумму значений элементов массива. Строка 10. Комментарии в Рго!ой подобны комментариям в С и могут располагаться в любом месте. Строки 11 — 17. Здесь задается правило 1ог, Семантика этого правила — выполнить правило ! раз. Если 1 — не (пот) 0, то правило продолжает выполняться; если оно не является логическим следствием программы ((а1!з), то алгоритм отката (Ьасйггас!с!пй) языка Рго!оя выполнит второе правило 1ог (строка 17).
Строка 15. Новая частичная сумма и укороченный вектор 14!Ь снова рекурсивно передаются правилу 1ог, при этом значение счетчика уменьшено на 1. Строка 17. Строка 17 содержит второе правило гог, которое выполняется, если первое правило 1ог не является логическим следствием программы. Это происходит в том случае, когда правило пот(1=0! не является логическим следствием программы (то есть ! есть О). В этом случае первые два аргумента игнорируем, и унифицируем сумму значений элементов массива (ОЛ5ОМ) со значением, которое вычислено на данный момент (1М5ОМ).
Заметим, что если поменять местами порядок выполнения двух правил 1ог (то есть строки с одиннадцатой по пятнадцатую поставили бы на место семнадцатой, а ее переместили бы на нх место), то в любом случае второе правило вьшолнилось бы в первую очередь и программа не могла бы работать нужным образом. Строки 18 — 19. Это стандартное определение по1, как объяснено далее в тексте. Строка 20. Теперь, когда данные и программа созданы, вызывается Рго!оя. Строка 21. Из файла рйп!.рго1о9 считываются правила. Можно было бы ввести предикат соль в! С Овзег ! и после этого непосредственно ввести правила в программу. Строки 22-24. Это сообщение Рго!ой о том, что данные из файла были успешно прочитаны.
Строка 25. Ввод пользователем Оо. означает запрос, определенный в строках 5 — 9, который определяет успех программы. Строки 26-27. Вывод нз Рго!ой как результат чтения файла данных в строке 6. Строки 28-29. Требуемый вывод из программы. Строка 90. Рго! ой сообщает, что заданная в строке 25 основная цель Оо вы велена. Выходом из Рго!ой часто является индикатор конца файла (например, С1г1+О>). П.11.1. Объекты данных Элементарные типы данных Переменные и константы.
Данные языка Рго1ой могут быть целыми числами (1, 2, 3, ...), вещественными числами (1.2, 3.4, 5.4, ....) и символами ('а', 'Ь', ...). Имена, начинающиеся со строчных букв, представляют конкретные факты, как если бы они являлись частью фактов из базы данных, а начинающиеся с прописных букв представляют переменные, которые могут быть унифицированы с пох!ощьк! фактов во время выполнения программы. Областью видимости переменной является правило, которое ее использует. 656 Приложение. Обзоры языков Структурированные типы данных Обьекты могут быть атомами (строковые константы и переменные) или списками.
Список представляется в виде [А, В, С, ..П. Запись [А! В] указывает на то, что Я является головой списка, а  — хвостом: ?- Х [А(В). Х=[1.2.3,4! Запрос на 2 опредепенин Х печать результатов унификации А В и Х А 1 В [2,3.4), Х - [1,2,3,41 Строка 'аЬс()' представляет список ['а', 'Ь'. 'с'. '()'!, Переменная представляет любую неименованную переменную. Так, запись [А! ) сопоставляет А с головой любого списка. Определяемые пользователем типы В Рго[ой нет реальных определяемых пользователем типов, однако правила, определяющие отношения, мотут рассматриваться, как если бы они были пользовательскими типами. Представление объектов в памяти Правила и факты хранятся в памяти как связанные списки.
Основная концепция выполнения программы на Рго[ой аналогична концепции 1[ВР— обход дерева структуры связанных списков, описанной ранее при обсуждении [.18Р. П. 11.2. Управление последовательностью действий Получив запрос, Рго)ой использует в качестве механизма управления памятью унификацию с откатом, как описано в разделах 8А.З и 8А.4. В Рго[ой нет фактической концепции локальных или глобальных сред.
Все правила имеют локальный контекст. Способ реализации унификации определяет то, что запрос вида ое цт ..П. сначала вычисляет 0н затем цв и т. д, Это выглядит таким образом, что любое правило выполняется последовательно. Кроме того, правила хранятся в том порядке, в котором онн были внесены в базу данных. Таким образом, правило по[ скорее следует определять как пот(Х) . — Х, !, (ат1. пот( ) а не как пот( ).
пот(Х) ;- Х ! [ат1, В последнем случае по[( ) проверялось бы первым и всегда выводилось бы. Выражения В Рго[ой определены арифметические операции:, —, *, )поо и А Также определены операции отношения ", =< (заметим, что запись втой операции отличается от обше- П.11.
Рго(оп 657 принятой<=),<,> и>сп Нооперация" означает <тожесамоеп,так, Х = 1 + 2означа- ет, что Х есть то же самое, что и выражение 1 + 2. Операция т в означает вычислить; результатом выполнения Х ?в 4+1 будет присваивание переменной Х значения 5: (?- Х 1<2 Х " 1+2 ? — Х присвоено выражение '1<2' уев (?- Х тв 1+2. Х " 3 ? — Х присвоено значение 3 уев Из-за такого смысла операции = выражение 1 + 3 - 2 + 2 будет ложным. Чтобы вычислять подобные сравнения, необходимо определить функцию равенства звпеча1ые, которая использует конструкцию )в для того, чтобы вычислить оба члена выражения: важеча1ое(Х Ч) :- А 15 Х, В 15 Ч. А=В Тогда ва(веча1ие(1 в 4.2 + 3) возвратит значение Ьгые, Операторы Факты. Факты — это отношения, которые устанавливаются в процессе выполне- ния операции сопвв11, которая добавляет новые факты и правила в базу данных.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
