Р.У. Себеста - Основные копцепции языков программирования (2001) (1160794), страница 167
Текст из файла (страница 167)
15.8. Применение логического программирования 11. 12. 1. Сравните концепцию типов данных в языке Ас$а с языком Рго!оа. 3. 13. 14. 15. 16. 17. 18. 19. 20. Обьясните, как работает бектрекннг в языке Рго1оя. Объясните, что неправильно в операторе языка Рго1ой К дв К + 1. Какими двумя способами программист на языке Рго1ой может управлять порядком сопоставления образцов во время резолюции? Объясните стратегию программирования "порождай и проверяй" в языке Рго!оп.
Объясните прелположение о замкнутости мира, использующееся в языке Рго!ой. Почему это прелположенне является ограничением'! Объясните, в чем состоит проблема логического отрицания в языке Рго1оя. Объясните связь межлу автоматическим локазательством теорем и процессом ло- гического вывода в языке Рго1об. Объясните разницу между процедурными и непроцслурными языками. Объясните, почему системы языка Рго!ой должны выполнять бектрекинг. Как связаны межлу собой резолюция и унификация в языке Рго1ой? Опишите. как можно использовать многопроцессорную машину лля выполнения резолюции. Может ли язык Рго!ок в тол~ виде, в каком он определен сейчас, ис- пользовать этот л~етод? Напишите на языке Рго1ой описание вашего генеатогического древа (основанного только на фактах) вплоть до ваших бабушек и дедушек, включая всех предков.
Убедитесь, что вы учли все отношения. Напишите множество правил для семейных отношений, включая все отношения, начиная с баб>шек и дедушек, связывающие два поколения. Теперь добавьте эти правила к фактам из задачи 3 и исключите как можно больше фактов. Напишите программу на языке Рго1оп, постигающую цели, если пересечение двух заданных списков является пустым. Напишите программу на языке Рго!оя, возвращающую список, содержащий обье- динение элементов двух заданных списков. Напишите программу на языке Рго!оя, возвращающую последний элемент задан- ного списка. Опишите два совпадения между возможностями обработки списков в языке Бенете н в языке Рго1ок.
Опишите различия между возможностями обработки списков в языке БсЬеше и в языке Рго!оя. Глава 15. Языки логического программирования ВасЬиь, !. (!959) "ТЬе Буп(ах апб Бевап(!са оГ 1Ье Ргороьеб 1пгегпабопа! А18еЬгак Еап8иа8е о( йе ЕопсЬ АСМ-ОАММ Соп(егепсе.' Ргосеег!(нПг 1н(еглабона1 Сон7егенсе он $нГогта(!он РгосеЫнд. (ЛЧЕБСО, Рань.
рр. 125-132. Вас)гох. 1. (1978) "Сап Рго8(авв(п8 Ве Е!Ьегагеб Тгов йе чоп )Чеивапп 8()!е7 А Гипсбопа! 8(у!е апб Пь А!8еЬга о( Рго8гава." Саттон. АСМ, Чо!. 21, 1Чо. 8, рр. 613-641. Вас1соа. 1., К(.. Ваоег, !. Огееп, С. Кагх, !. МсСагйу. Р. )Чаи(, А,!. Ре(Пь, Н. КибаЬаоаег, К.
Бате!хоп, В. Чаициоь, 1.Н. %е8хге(п, А. чап %0п8аагбеп. апб М. %оо68ег. (1962) "Кечаеб Керогт оп йе А18опйвк Еап8иа8е А(.бО$60." Соттил. АСМ. Чо1. 6, )Чо. 1, рр. 1-!7. Веп-Ап, М. ( ! 982) Рг(нс(р(еь о~Сонсигге(г( Рго8гатттд. Ргепбсе-Най. Еп «1еиооб СП(Ь, )Ч1. В1п«ч1я1е, О.М.. О.-!. ОаЬ1, В. МуЬ(Ьао8, апб К. )Чу8аагб. (!973) Яти!а ВЕб1(Ч. Чап !Чохггапб Ке(пЬо16, )Чеи«Уо(К ВоЬгоч(. О.б., 1..
ОеМ!сЬ(е1, К. баЬпе1, 8. Кеепе, б. К(саа!еь, апб О. Мооп. (1988) "Сопопоп 1 Вр ОЬ!ес! Пугает Брас!Псабоп ХЗ!13 Оосовепг 88-002К." АСМ ЯОША!Ч (Чо((сея, Чо!. 17, !Чо. 6, рр. 2! 6-229. Воб«ч(п, 1.М., 1. Вга(Пеу, К. Капба. О. 1.Ь1е, апб (!.Г. Р!еЬап. (1982) "Ехрепепсе абй ап Ехрегппепга! СоврПег бепегагог Ваьеб оп Оепогабопа! 8евапбсь." АСЛТ ЯОРЕА!Ч Л(о(!сея, Чо1.
17, 1Чо. 6, рр. 216-229. Войт, С., апб б. !асор(п(. (1966) 7Р!ои«0(а8(авь, Типп8 МасЬ|пеь, апб Еап8иа8еь чбй Оп!у Тччо Еоппабоп Ки1еь.' Галинин. АСМ, Чо1. 9, 1Чо. 5, рр. 366-371. Во!йу, М., апб О. Когп. (1995) Т1(е №и КогнБ!(еП Сотта(г(1 анг! РгоВгатт!нд ЛанВиа(ге. Ргепбсе-НаП, Еп8!еюооб СППх, )Ч!. ВоосЬ. б. (1987) БоТЬгаге Енд(неепид и !(!г Ас(а. 2пб еб., Веп!аппп/Совгп)п8а, Кебюооб СЬу, СА. Вгаб!еу. !.С.
(1989) Яи!с!(ВАБ1С ан(! ДВАЯС Уг!щ Мо((и!аг Б(гиен(геа. %.С. Вгоип, ОоЬиоое,1А. ВппсЬ Напьеп, Р. (1973) Оре('а(ю8 Буя(ет РПнс(р!еи. Ргепбсе-НаП, Еп81еюооб СП(Та, )Ч!. ВппсЬ Напаеп, Р. (1975) "ТЬе Рго8(авв(п8 1.ап8иа8е Сопсоггепг-Рааса!." !ЕЕЕ Т(.интас((она он Бо)ги аге ЕнПтеег(н(Л, Чо!.
1, )Чо. 2, рр. 199-207. ВппсЬ Напаеп, Р. (!977) Т((е Агс!и(ес(иге о~' Сопсигген( Ргодгата. Ргепбсе-НаП, Еп8!еиооб СП(Та, )Ч1. ВппсЬ Напоен, Р. (1978) "0(агпЬогеб Ргосеааеги а Сопсо(тенг Рго8гапип)п8 Сопсерг." Санинип. АСЛТ, Чо!. 21, )Чо. 11, рр. 934-941.
СагбеП!. (., !. ОопаЬие, ) . б!ааавап, М. 1огбап, В. Ка1хот, апб б. !Че1аоп. (1989) Моби1а-3 Керогг (геч(аеб). 0181(а1 Буагев КеьеагсЬ Сепгег, Ра!о А!го, СА. СЬавЬегь, С., апб О. ()п8аг. (1991) "Ма)г(п8 Риге ОЬ!есг-Опемеб Еап8иа8ех Ргасбса!." Б1ОРЛА!Ч !«(о((сея, Чо1. 26. 1Чо. 1, Рр.
1-15. СЬопь1гу. !Ч. (1956) "ТЬгее Мобе1а (ог йе Оеьспрг(оп оГ $.ап8оа8е."!ЯЕ Т> алгос(!аня он Тп/ог(на(!оп Т1(еагу, Чо1. 2, )Чо. 3, рр. 113-124. 650 Литература СЬовь)су, 1Ч. (1959) "Оп Сегсасп Раппа( Ргорегйеь оГ Огапипагьр 1гуоглгаг(ои апсГ Сопггс Чо!. 2, )Чо. 2, рр. 137-167. СЛигсЬ, А. (1941) Аллой оГМаг)гетаг!сз Ягис(геь. )го!ите 6: Са(сий о/'ЬатЫа Сот егсбо Рппсегоп (3п!ч.
Ргеьь, Рппсегоп, )Ч3. Керпп!еб Ьу К!аиь Кергас Согрогабоп. 1Чее Уобс. 1965 С1аг(с. К.1... апс1 Г.О. МсСаЬе. (1984) Мити-РЯОШСс Ргойгатттд т ЬаК(с. Ргепбсс Най. Еп81ееооб СИГГь, )Ч3. С1аг1се, 1..А., 3.С. %йебеп, апб А.(.. %о!Г. (1980) ')Чеьс!п8 !п Аба 1ь Гог сйе В!гбь." АС3 31СРЬА)с3)с3аг!сеь. Чо!. 15, )Чо. 11, рр. 139-145. С!еаче!апб, 3.С. (1986) Ап!и!гас(исйоп го Оага Туресс Абйьоп-%еь!еу, Кеайп8, МА.
С)еаче1апб, 3.С.. апб К.С. !)гиаИь. (1976) Сгаттагь Гог Ргадгатттд Еапииайеь: 117в Ечеп Рго8гаттег Яюи(с( Клон АЬоиг Сгаттаг. Авепсап Е!ьеч!ег. 1Чее Уог1с. С(ос!сь!и, %.Г., апб С.Б. Мей!ьЬ. ( ! 997) Ргойгатт!нр (п Рго1ад, 4е. Зрпп8ег-Чег1а8, )Чее Уобс. СоЬеп, 3. (1981) пОагЬа8е Сойес6оп оГ 1.!п)себ Оаса 5сгиссигеь." АСМ Соглриг(ии Еитеуь Чо1.
13, !Чо. 3. рр. 341-368. СоЬеп, 3. (1985) "ОеьспЬспа Рго!о8 Ьу 1сь 1гпр!евепсагсоп апб Согприса6оп." Сотлнсп АСМ, Чо1. 28, )Чо. 12, рр. 13! 1-1324. Сопеау, М.Е. (1963). "Реь!8п оГ а ЗерагаЫе Тгапяйоп-Оса8гав Соврйег." Соситил АСМ, Чо!. 6. !Чо. 7, рр. 396-408. Сопеау, К., апб К. СопьсаЫе. (1976) "Р(/С — А ОВс!рйпеб 5иЬьес оГ Р11!." ТесЬпсса Керогс ТК76/293.
Оерагипеп! оГСоврвег Бс!епсе. Сотней ()п!чегьйу,!Васа. )ЧЧ. Сотней ()п!чегь!су. (1977) РЕ/С ()ьег'ь Ои!бе, Ке1еаье 7.6. Оерагипеп! оГСоврисег 5с!епсе. Сотней 13п!чегьиу, 1Фаса, )ЧЧ. Сопеа, )Ч. (1992) "Есор!у Саге8опеь, СЬа!п В!пйп8, апб Рапбп8." рр. 83-121, Рппс(р(еВаьес( Рагь(лй. еЕбь. К.С. Веге!с)с, 5.Р. АЬпеу. апб С. Теплу., К!иеег Асабепис РиЬИьЬегь, Воьсоп. Сиабгабо, С.Ч., апб 3.(.. Сиабгабо.
(1985) "Рго!о8 Ооеь со %ог(с В)ТЕ, Аи8иы !985, рр. 151-158. ОаЫ, 0 3., Е.%. Р!3)сьсга, апб С.А.К. Ноаге. (1972) Яписгигес3 Ргойгатгп(пу. Асабевсс Ргеьь, )Чее Чог!с. РаЫ, 0.-3., апб К. )Чу8аагб. (1967) "81М(3!.А 67 Соввоп Ваье Ргороьа!." 1Чогее8!ап Саврас!п8 Сепгег Оосивепс, Оь!о. Рейуапш, А., апб К.А. Коста!ь!с!. (1979) "(.о8!с апб Зевапс!с !Чесеог)сь." Сапнииге АСМ, Чо!.
22, )Чо. 3, рр 184-192. Оерапвепс оГ ОеГепье. (!960) "СОВО(„1пйа! прес!Гссас!опь Гог а Соввоп Виыпеьь Опепсеб 1.ап8иа8е." РераПвеп! оГ ОеГепье. (1961) "СОВОŠ— 1961, Кесбьеб прес!Исас!опь Гог а Сопппоп Висйпеьь Опепгеб ).ап8иа8е." Оерагсвепг оГ РеГепье. (1962) "СОВ01. — 1961 ЕХТЕ)ЧОЕО, Ехсепбеб прес!йсайопь Гог а Сопипоп Виьбпеьь Ог!епсеб Еап8иа8е." Литература 658 РпсЬег, С.Х., О.Е. )оЬпьоп, $. Маппеу. А.
Ра!, апг$0.$.. 8!ос)г. (1984) -ТЬе Рое Еап8па8еВаьед Ейгог Рго/есг." АСМ ЯОРЕА/Ч №г!сеь, Чо1. 19, Хо. 5, рр. 21-29. РЬсЬег, С.Х., ап6 К./. ЕеВ!апс. (1977) "(/%-Раьса! КеГегепсе Маппа!Т Майюп Аса6ев(с Соврпбп8 Сепгег, Майьоп, %1. Р(ьсЬег. С.Х., ап6 К.). ЕеВ1апс. (1980) "1пгр!евепгапоп оГ Киппве 01аапоьбсь 1п Раьса!." 1ЕЕЕ Ттильис/!ипь ил ЯиУпгате ЕлК!ггеет!ггд. 8Е-6, Хо. 4, рр. 3! 3-319. РЬсЬег, С.Х., ап6 К./. ).еВ1апс. (1988) СтиУ)!ггК а Солгрг!ет. Веп/ав1п/Сапв1п««ь, Меп1о Раг)с, СА.
Р!оу6. К.%. (1967)»Аььг8пгп8 Меапгп88 го Рго«гать." Ртосеег/глдь Яртритбит Арр!!ег/ Маг!геглаг!сь, т Мигйелгипса! Атрее!ь о!' Сотригет Бс!елее. ед. /.Т. 8сЬгчапа. Аве6сап Майева6са! Бос)егч, Ргоч(белее, К!. Рге8е, б. (1892) «ОЬег 81пп ипд Ведеишп8." Хег!зс/гтгу) Уит Р/гг1оьор!не илг/ РЫ!ояорЫьс/геь Ктггг/г, Чо1. ! 00. Рр. 25-50. Рпег)1, У.Е.Г. (1997) ЛУаьгетглд /!ели!иг Ехртеяполгс 0'Ке1Пу РпЫ. Со., 8аЬаыоро1.
СА. Рг)ейпап. 0.Р., ап6 0.8. %Ье. (1979) "КеГегепсе Сопл!)п8'ь АЬг!Иу го СоПесг Сус1еь 1ь Хог 1пьигвоипгаЫе." !лГипнапил Ртосеьылд У.еггеть. Чо!. 8, Хо. 1, рр, 41-45. РосЫ, К. (1981)»А)ппп» Гог Кпогч!ед8е $пГоппа6оп Ргосеьь!п8 Яуюевь." Ртисеег/!лКь о/ г/ге /тетлапола/ Сон/егелсе ил Рф/г Селетапол СитриилК Ягьгеггггс !арап !п1оппа6оп Ргосеьяп8 0ече1орвепг Сепгег, То)суо. КерпЬИьЬед (1982) Ьу ХопЬ-НоИап6 РиЫ(ьЫп8, Авыегдав.
ОеЬап1, Х. (\983) Аг/аг Ал Аг/чаггсег//лгтог/исг!огг. Ргеппсе-НаИ, Еп81епоод. СИ$Ть. Х/. ОЬеаа1. С., апд М. !атауег1. (1987) РтоКгаглт!лд Еал/Гниде Силсергт» 26 ед. %г1еу, Хегч ЧогЬ. О Иван, Е, апд А./. Коье. (1976) АРЕг Ал !гггетасг!че Арртоас/г. 2г$ ей $. %г 1еу, Хегч Чог$г. Оо!дЬег8, А.. ап6 О. КоЬюп. (1983) Ета!//а//г-80г Т/ге Еилдииде алг/ 1гь 1тр!енгелга6ил. А661ьоп-%еь1еу. Кеайп8, МА. Ооодепои8Ь, !.В. (1975) -Ехсерг(оп Нап66п8: 1ьюеь апг$ Ргороьед Хогагюп." Согггтил. АСМ, Чо!.
18, Хо. 12, рр. 683-696. Оооь, С., апд !. Напвап!ь (ебь.). (1983) Т/ге РгодтитгггглК Еалдиаде Аг/а Ке~етелсе Мании!. Апгепсап Хапала! 8гапаагбь 1пгп(гиге. АХ81/М!$.-8Т0-1815А-1983. Еесшге Хогеь 1п Совригег Бс)епсе 155. Брг)п8ег-Чег1а8, Хегч ЧогЬ. Соп$оп, М. (1979) Т/ге Оелигапола! 0еьспрггол оУ Рги//таглт!лд Еащиадеь. Ал Ул/тиг/исг!ол. 8рпп8ег-Чейа8, ВегИп — Хегч Чог)г. СоьИп8, 1., В.
!оу, аль С. Бгее1е. (1996) Т/ге,Уаг а ЕалргаКе Яресфсаг!ол, Аг(6!ьоп-%еь!еу, Кеайп8, МА. Опеь, О. (198! ) Т/ге Бсгелсе оУ'Ртидтаглгл!лд. Зрпп8ег-Чег)а8. Хечг уотерс. Сг!ыио1д, К.Е., апд М.Т. Сг!ычо1д. (1983) ТЬе УСОМ РтиКтатглгггК ЕалКиаКе. Ргеп6сеНаП, Еп8)егчоо6 СИГГь, Х/. Литература 653 1.ед8агб, Н.Е., апб М. Магсопу. (1975) "А Сепеа!о8у оГ Сои!го! Бптсссигев." Соттил. АСМ, Чо!. 18, Хо. ! 1, рр. 629-639. Е!в)соч, В., апб А. Бпубег. (1979) "Ехсерс!оп НапбИп8 !п СШ." 1ЕЕЕ Тгапзасдоиь оп Бо(иь аге Ещ!пееппВ, Чо!. БЕ-5, Хо. 6, рр. 546-558.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
