Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 92
Текст из файла (страница 92)
днкатс булат найлено значение ылпе, и и српр татар пост р с с» доказан„что 1лиев(ловле, мл е) истинна Вланномс ьчасзиыеннсмыв елветсясаеэкайюа знаке ий де где и валле. Ннтсрпрепт р РКОЬОО прояеряс сагнэ»гота»с пелен шаблонам в том порядке. в ытарам эти шабломы били введены в базу д ныт Важна отметит взаимосвязь м илу кваитора д сообщности и существова я в ло- гике преднкатав и обработкой псрсменнмч в программе РКОЬОС. Если переменная со- лержктся спепнф анин баз данных РКОЬОО, то предпшгагаегся, что он связана «вантарамвссабщности надрннер.вираже и»1зхея(винье, у! согласно ссманти е прслылушик примеров означает уЕ юзи л 6 т этого" В проксссс интерпретадин не- хогор о запроса любой терм, список или арслиют может быть связан с у.
А поп~на в оравюс (глвпдв(х, у! - 1лиев(х, 2), 11«с»00 у) лопускаютс людье связан ме и рсменнме х. у и 2. Улав тетварвюшнс спеннфикаиид этого выражен ш. Д" представления на язмкс РК01.00 переменкой, связанной «ваиторзм существо иня, можно испадьзовать два поды»» Во-первых. если ювсств «р тиас значение переменном, га его мою о ввести в бюу да нык напрямую. Тэк. 1л«еэ(д о д нлпн) — это экземпляр выражения 1лэев(деагде.
2). н ег мы но ввести в базу ланньп, как это было сделана в лрельыуши* примулы. В'л зт'лрыт. ля поиска экземпыра переынной, дос ашшюшсы вырэжснню значе е "пина ', можно обратиться с запросом ин р р пыру Например. об апреле тить, г у» лиг ьоезначсние2,прикат ром вырпьеня.1л«ев(двагде, 2) неллина, от запрОс можно персдат, нитерпретю,ру Ои проыр и, существует ви шым неясные " Ременной г Некого ые инлср ретатары РКОЬОО нахалы все значения связзинме кглтрам сушестваюни» дл» полученю воск значений с помощ ю дншрпрепт ра ОРКО требуется пгюырять ло»ьзоытельс ' приллашеи е, 613 6! пасть«! П ,дг "н н текнаюгии ам,п ла ' н"ро'Раммирования для искусств ~на~он гнею ! еа \ 4 Введение в РКО!ОБ Если зребупся более нб раш шй чои оринг, о приме ы я ко анп яру !Ьм оз. с скиваемо О пред кашобыч оюл пса вюче тееаш3ш па.
оино даонооареэюмчс с поишвыо ирефи свою операюра (указываема пиле зюго оперы ра) Так, с п мою,ю м мншы ару мегЬег еыеошпся пнф р н обо всех учмш исполюованил прелнюга не»пег Аргумезпом прсдаката ару мо . б ь шюе с нсок прюшатн с уюзэн еч нх арле ти так. оманл вру( еньег)2, ерре д)3) олрелшмсгмоюпернш вс с.учаев спо ююшм ночевом уп р пения емьогс,ну аэргучемгэнн упер ю еррепде зр ч» эргумс ам . Ком нза по вру удал»гг «с юизрол е ю ки Прсликщы геад в ч с ч се исэолюую ся д»я аз нмодейсгвия с под»зле«»с» маидаге д(Х) с пмвасг еле ,.иег дсду3цщ3 й гср 3 з с«ушсгц»х дногО пл ОЗ Я мокХ Входи еаы ения вира рззлеяяюгся точкой. Команда иг1с (Х) " д й па и Есм К вЂ” ие сваха ы. эзакиая переме аан, го ыв днес» полое числ аримрас а мы саек«вел полч к „, „а«ПЭ ЮНИЦИ НОМЕР ИсР Мевнай, ч,рьиюння Э,о цел,ечн ..
пРедсгзв' пвнз'" дггльсге' ср вней, нсабхолимый для абогы средь' л е*«с ы унпсяюысч сына«на нфоР»запива»4' Фзю х 33 юреж» ег сгу"зий вход й в ели переменив Х и коиащэ «с с«аздю с сушссгпу|ошкм Ф ся и ушчсй А«а» зэн Ш Опчио а аида с«11 (х) Огкр»3»э с»«юных»3 с с ш ч с)шест»Уст, о команда г 11(Х) СОЗ э свис« х.
Кома ды ве (Х) " 14.1.1. Списки и рекурсии в «зыке РТ(03 00 В врслыдуш к подрюделак на нескольких простых примерах пред »»лен снега нс эзь «а РК01.06 В ших промера РК01.00 прслпаег кзк мг»ан з. еь ч ленин на базе 'Реме«3»й в п3ки прелнкагов (в юрн сын нныо най форж) Эго соглзсуегся со е"»«'Р ипипа в вм ода ° рэмюх лоп3кн прслиюгов, пр лсгавлениымн в глз ' 2 для "Р'хзсрю3 спок«стеган» щзбло ам в »зыке РВ01.00 слов »устои ) вфи«шн» и мпвра"н3 гсв значеш » перс е ньц (саязаннне п рс синые), обеспечив ош с вски»носи.
ыр мснгш Эп3 значеная униф цнров и л р к) Р ь "с связаны в обшей среде Н!'"'е буде нокшаио, ч о ос овны механизмом )нра лемы прн программировании КВ «зыке РЙ01 00 яв гся р курсив Одм О смв л» рас Озр ш вескцч О сееоннык Рвм Рз обработки спнско Си«сок 63м) — юо сгру гура дз ык, прсэсгвкчяюшю со')моряла си ый майор злсмен ав («в ца е сам х с нс. Орс нс Ю Ре сн — по ес ссг. " К'способ Обр ба»кисни чны сгруп р Пч обр бзг«3»сп оков эюы«е РВОСОО г»а ааа )4 Введенная Р)) 634 ч*сшы цзю зюиигехколщиип о юле»" ц ддн искусогю ииторииг среды РКОТ 00 анне,н 3«ге«ение и ыен 14 1,2, Сгнд ' ) к0106 сначала созвасгс» бюа донных и агр мин на яз РК а язш е РК а 'х сис факвп и в нн а " 'Иь гсрант в од, аления новых прел ерше аз»его, ак, я лак за - ю с(1Ю -ю ' (дчд, «эга со: н ннэг1»Кев()ачзд.
ваг Ь) .- 1)К в(да,е, К). б вег о»краше« розу»»юг у Х = ВВ «Ь. зл«гс «!одно «ошрл»кровать подвале и. С помощью предиката залег 3фз. П нагаввекга(И лобавюегпРеДнкат Рв ч ф. «аакйвбюуд нных Преннагавв гез (Р) — в ю ец списка предикагов р, э Эи а»Оно»менее Р,з ввег з сгроения ерархап н в ор нборз лриоригегав поиска Ллл удаления прслцка„ ааи ык ис эльзу ся прели ° л «юг ге! с(р) Следу" Огм ю'ь.
что во мне.хр ««я» ыю рй0100 3федвкаг а »его ведет себ» более непрелскээуемо гд, гюа врем» л и» об ю Р*в а ср у вансен, Ог многих лруг х ф « влн ивэи кэк из срядп слепо»ание прелнка сов, гак ва реализацию возвраюв С дана* исааф»«ации пушм послеловагельного 3юпальзовання пред,щаюц ад зе с и гестас — осси уюмигсльный процесс Вмссго этого мон О создать фз„к сошрюший все спец«фи вцик длз языка РКОЬОС, с помощью обычного редщю)н Попс сошмпи фа»па (июовем его у(г1е) нунио вызвать РКОЕОО но«сосить зсц фзйввбазулэни хспомошью ом юм а 1с Так,запрос )С( у( 1 ) дебюл»п иреднымы, юшризщиеся в файле пгу311, а бюу ивиных сушссшиг а «Рагюа форма прели юз сапвц1с, ннорую целесообразна использовать яю лобке « бюу лапник нескольких файлов.
прн згаы используе!па следующее обозна нине г- ( у( 1е). У В Не«озорна прюикагы яз «а РВОСОС ломпг нн о еле о спеки г сосгоянее бэлы «вид ююке взаннмх с ней вмч олений Срелн нех ни юа о»ее анны. н юг я 1„сзпд, сга»ру Привело»ьзоаанвнкомаиО 11«с (и р д ю, д »стром я . пся м прели«вся. сгп с н це Ьег (подразню Ш ).3). иишрвре. Ом воз раш югся се дизьюнк ы з бюы данных с соо «гсг ую псшуюшим мс ем прс. д \ к г» 3 а м с н м, ч го в л а 3 3 н м 3 у е ч и с л а р г из е но в 3 3 р ел и к а ш н с у з за н о .
п о з ю м у вращаю свес вариан ыланншопрелнк за,незаа снмоа ч ла ргумеимв Комыша сга е иоззовяег п ю вазелю о специа« ь спето нне состояние ин рнрп гора РКОПОС В процессе мо нгорниш в выходной файл ыво;ыг а е ц левые утвериоюиия. Шймбпмв«»маге гсркрезигором РР01.06 Эачапую агой форчмщн лля льзо сли слишкОм мне о Воз«0 ноегл г)мсс Ров и во многих сРезах РК0160 слиш»ом слепим » оннчаниянгребуюглополннгеаьнога зуче иянопьпа Обычно прнгрмсаровке а3ровке раб зщ„щей ОРогРаммы РВ03.06 мо Ополггигь слелующУюинфоР«алию ) уровень глуби ырекурснвньшвызовов(ломеча в в строке слева направо). 2 Когда прелпринимаегсп перва попытка обрабо кн целевого упнуддешм ( о да испол зуезс аманда са13).
3 Кагдаце ьуспеш олоспггнуга(сномошьюно Выдь е 1с) 4, Возчоннасгь других соо а ввй целевому упер»асины (к чанл есгу). 5. Псвозмомносгь пост мия 3!елн, восколюу асс попыгк зазор шись еудзчно (зачастую нспользуегсв команда 3 1) б. Попив» трассировка орерывае л командой похг е 636 х=ь Глава в(Ю Введен вид" 616 чес ьи яэмк яэмшнгехнапопш д ю пдо е лэ цскуости Оншг элсмснты списка» шгдц р„ унвфи эллин н Р'ХУРм» тв э«лютыми Прнвслсм неся, чакке, ьш,рю мсршсинс «наемке Я От ЕПЭ хвссгэ а Псрвьж э«шип м~с" южет отделяшь шнмср.лли санек« (гак и„ сяню ~краого эеемснтэ ггу это сини ю ассы уы мк я х с я хвостом мысок ( 21с)с Гг' 1) первым э«сменю» ювыскя с я х цфнкэгл(ц <шша Рюэл слить список н« ко и Е ноымцью онер«горю ( и цроцюяурм уннфи Ьеггу, Екей) саответст ° Если список (гоц, й1ск, аг х = сшюнт = (жсх, ьаггу, Ег й). Есл сансе» )го», °, й х, Ьаггу, Егей) соатцстсшуст шаблоцу (х т = йэсхнг = (ьаггу, егей).
ет я ° Если с~шик (ь н, й)сх, Ьагту, ЕгесЦ саотвстстнует б г(и) юх = ' 'т — й1сьг = Ьнггу и (егей) ° ЕСШ СЛНШК )ЬШ, йэс)С. ЬаГГУ, Етвй) Саатестс(ВУст ШабЛОНу (И, г(уьюн = гаьх д1схт = ьаггх.г = Егш),у =(]. по о рюбнсии синс ю ню отдельные эцемюнты унификюиию можно нспальювмь ляялаырк спнсочнойсруктуры Нюпрнмер,сели Х вЂ”. Сош,у = (й1с)с) иьуни. фицирус ся с (х(г), то лерсменнш ь булет сею«на со списка«э (гош, йхсх) терни. егклеанмс друг аг друш э«пядями н ряспалоюинные ло вертикальной черты, «вляюш э е с с э, э иа оюяшеяс» шкле «ертнккэьной черты струк(ура всегда »«люси« списком, ю пиксе, ега «васю Рюссн при про Ой пример рс«урсивной обработки с иска: проверку прин«лцеипе. стилю п«списку сна ошыо нрелнкатя е М ег Опредс нм предика(, поэвояеюк«й в мены юлн е экненм в саисие Предикат моет лопжен э«впасть ат двух «РО' ш элечентю гент« сп с» .
Он пРи нм«сг энючсннс "истин ", сел данный элсме»г аэ дсрнккявс иске Например, кц (, (, Ь,, О, 1). ге т-мю (а, (1, 2, э, «1). и т- ь (х, (, ь, 1). Чюб анре« нить п е пцсци ют к Ье ег рекурсн »о, сивцева правая ьк (х, (х(т)) эшецги о ли эн«ценна х вюрц эмх эшмм(У , аодеРкнтаа лн Х осшвшсйсю ~аснэ (т) списке лсдестся слепуюшим образом , вье (х. (Х(т)) '- ОНЬ (х, т) Т „цм Обршам, проверке иачичня эл сиш в спн «е ню «с РВО1.00 выполнескя ачошью двух строк.
ь«г(х, (х~т)). шЬЕ (Х, (Э~т)) - ЬЕГ(Х, т). Втат пример иллюстрнруе тнвчснис встрсеннога в РВ0100 порядка по» кв, и и «о. Р гогам УСЛОЦИС ОетМЮ«а ПОМЕШ«ЕКВ ПЕРЕЛ Рс УРСНВНЫМ ВЫ«аВОМ, В ЗНаЧИт, ПРОВЕРЯстеЯ ц лд следуюшим шагам рабаты «лгор тма При абра нам порядке слове»ям прслнкоусцавис оста овя мажет никогда нс пра рнтьс» Вьшо нм ~рассэгровку прсдцкааю дЬет(с, (а, Ь, с1) с нумер«иной «Ь г(х, (х)т)). 2 в ь г(х, (т(т)1: — ав ье (х, т). ,- не Ье (с, (а, Ь, с)). а11 1.
Е«Х1, вэнса сюа Н11 2. х = с, х = а, т = (ь, с1, неоьег(, (ь, е)) се11 1 Еа11, 1псв еюЬ са11 2. Х = а, т = Ь, т .- (С), .Ь (с, ( 11' с»11 1. во увв (Со »есо й са11 2.) (Са Еэгвс Са11 2.1 у Хороший спьчь прогряммнровюиня на нэыкс РВО(.ОО предло«магг нспоюэоцение ма. мш т рю с ы* (виапушош тжыие). Они сду лэя эко программисту н инкр«Рсштору того па определен ье перемени е испаеюуютсю кклочитсль о эл» щюверки мгшскю шаблону, т е эмо свят евине переченныг нс является шс ью продых ясин» Таь. чтоб ро ер пь.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
