Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

ОдинИз(Поэт,Пассажиры),




ПишетВЖанре(ЖанрПисателя3,_),

ПишетВЖанре(ЖанрПисателя2,_),

Ров,списокСписковПассажиров,

списокСписковПассажиров)
nondeterm списокРешений(списокСписковПассажиров)
nondeterm выводРешений()
nondeterm выводРешений(списокСписковПассажиров)
nondeterm печатьРешенияКтоЧтоЧитал(списокПассажиров)
nondeterm печатьРешенияКтоКемБыл(списокПассажиров)

CLAUSES
одинИз(Х,[Первый|Хвост]):- Х=Первый; одинИз(Х,Хвост).

% Якось в одному купе опинились відомі історик, поет, прозаїк

і драматург.
пишетВЖанре(историк,история).
пишетВЖанре(поэт,стихи).
пишетВЖанре(прозаик,проза).
пишетВЖанре(драматург,пьеса)
.


% Це були Олексіїв, Борисов, Константинов і Дмитриїв.
возможнаяФамилия(алексеев).
возможнаяФамилия(борисов).
возможнаяФамилия(конст).
возможнаяФамилия(дмитриев).

списокПассажировИКниг(Пассажиры,Книги):-

% генерує різні унікальні жанри
пишетВЖанре(ЖанрПисателя1,_),

пишетВЖанре(ЖанрПисателя4,_),
% унікальність жанрів
not(ЖанрПисателя1=ЖанрПисателя2),
not(ЖанрПисателя1=ЖанрПисателя3),

not(ЖанрПисателя2=ЖанрПисателя3),
not(ЖанрПисателя1=ЖанрПисателя4),

not(ЖанрПисателя2=ЖанрПисателя4),

not(ЖанрПисателя3=ЖанрПисателя4),
% список пасажирів, з різними комбінаціями жанрів
Алексеев=книголюб(алексеев, ЖанрПисателя1,[_,_]),
Борисов = книголюб(борисов, ЖанрПисателя2,[_,_]),
Константинов = книголюб(конст,ЖанрПисателя3,[_]),
Дмитриев = книголюб(дмитриев, ЖанрПисателя4,[_]),
% впорядкований список пасажирів
Пассажиры=[Алексеев,Борисов,Константинов,Дмитриев],
% відповідність жанрів
пишетВЖанре(ЖанрПисателя1,ЖанрКниги1),
пишетВЖанре(ЖанрПисателя2,ЖанрКниги2),
пишетВЖанре(ЖанрПисателя3,ЖанрКниги3),
пишетВЖанре(ЖанрПисателя4,ЖанрКниги4),
% жанр письменника має відповідати жанру

написаної ним книги
К1 = книга(алексеев, ЖанрКниги1),
К2 = книга(борисов, ЖанрКниги2),
К3 = книга(константинов,ЖанрКниги3),
К4 = книга(дмитриев, ЖанрКниги4),
% впорядкований список книг
Книги = [К1,К2,К3,К4].

% співставляє Книгу з однією з ПрочитанихКниг Пасажира
читал(Пассажир,Книга):-
Пассажир=книголюб(_,_,ПрочитанныеКниги),
одинИз(Книга,ПрочитанныеКниги).

взялССобой(Пассажир,Книга):-
Пассажир = книголюб(_,_,[Книга|_]),
читал(Пассажир,Книга).

ищемРешение(Пассажиры):-
% Гіпотеза
% формуються впорядковані списки, де у пасажирів вказані прізвище і жанр (список прочитаних книг невизначений [_]

або [_,_])
% окремо формується список книг, написаних цими

письменниками
списокПассажировИКниг(Пассажиры,Книги),

одинИз(Алексеев,Пассажиры),
одинИз(Борисов,Пассажиры),
одинИз(Константинов,Пассажиры),
одинИз(Дмитриев,Пассажиры),
Поэт = книголюб(_,поэт,_),

Прозаик = книголюб(_,прозаик,_),




Поделиться с друзьями:


Дата добавления: 2014-01-04; Просмотров: 243; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.