Язык логического программирования ПРОЛОГ. Бураков М.В. - 28 стр.

UptoLike

ВУЗ: 

СПб ГУАП | Санкт-Петербург

Составители: 

Рубрика: 

26
«Пятеро студентов едут на велосипедах.
Их зовут Сергей, Борис, Леонид, Григорий и Виктор.
Велосипеды сделаны в пяти городах: Риге, Пензе, Львове, Харькове
и Москве.
Каждый из студентов родился в одном из этих городов, но ни один
из студентов не едет на велосипеде, сделанном на его родине.
Сергей едет на велосипеде, сделанном в Риге.
Борис родом из Риги, у него велосипед из Пензы.
У Виктора велосипед из Москвы.
У Григория велосипед из Харькова.
Виктор родом из Львова.
Уроженец Пензы едет на велосипеде, сделанном на родине Леонида.
Кто из студентов родом из Москвы ?»
Для решения этой проблемы можно предложить следующую про-
грамму:
Программа 18
DOMAINS
name=simbol
PREDICATES
student(name) \* имя студента * \
gorod(name) \* название города *\
velo(name,name) \* владелец и «родина» велосипеда *\
fact(name,name) \* факты о принадлежности велосипедов *\
fact1(name,name) \* факты о месте рождения *\
rodom(name,name) \* описание места рождения студента *\
rodom_penza(name) \* описание для уроженца Пензы *\
CLAUSES
\* 1 *\ student(X):- X=serg; X=boris; X=vict; X=grig; X=leo.
\* 2 *\ gorod(Y):- Y=penza; Y=lvov; Y=moskva; Y=xarkov; Y=riga.
\* 3 *\ fact(serg,piga).
fact(boris,penza).
fact(vict,moskva).
fact(grig,xarkov).
\* 4 *\ velo(X,Y):- student(X),gorod(Y), fact(X,Y), ! ;
student(X),gorod(Y), not( fact(X, _ )),not(fact( _, Y)).
\* 5 *\ fact1(boris,riga). fact1(vict,lvov).

Страницы