ВУЗ:
Составители:
150
Конъюнкция целей достижима при Х=bоb и Y^pate, родителем родителя Jhim'a является Bob.
ВОПРОС 8: "Кто внуки Тоm‘a?
?-parent(tom,X),parent(X,Y).
X=bob
Y=anna;
X=bob
Y=pate
Конъюнкция целей достижима при X=bob и Y=anna, при X=bob и Y=pate.
Внуками Tom'a являются Anna и Pate.
ВОПРОС 9: "Есть ли у Anna и Pate общий родитель ?"
?-parent(X,anna),parent(X,pate).
X=bob
Цель достижима при Х=bоb- Общий родитель - Bob.
5. Добавить информацию о том, каков пол людей, участвующих в отношений родитель, с
использованием унарных отношений ЖЕНЩИНА (англ.: woman) и МУЖЧИНА (англ.man):
woman(pame).
woman(lize).
woman(pate).
woman(anna).
man (tom).
man(bob).
man( jhim).
6. Определить отношение МАТЬ (англ.: mother) следующим образом:
mother(X,Y):-parent(X,Y),woman(X).
7. Составить и задать системе вопросы, относящиеся к отношению МАТЬ.
8. Определить рекурсивно отношение ПРЕДОК (predok) следующим образом:
predok(X,Z):-parent(X,Z).
Конъюнкция целей достижима при Х=bоb и Y^pate, родителем родителя Jhim'a является Bob.
ВОПРОС 8: "Кто внуки Тоm‘a?
?-parent(tom,X),parent(X,Y).
X=bob
Y=anna;
X=bob
Y=pate
Конъюнкция целей достижима при X=bob и Y=anna, при X=bob и Y=pate.
Внуками Tom'a являются Anna и Pate.
ВОПРОС 9: "Есть ли у Anna и Pate общий родитель ?"
?-parent(X,anna),parent(X,pate).
X=bob
Цель достижима при Х=bоb- Общий родитель - Bob.
5. Добавить информацию о том, каков пол людей, участвующих в отношений родитель, с
использованием унарных отношений ЖЕНЩИНА (англ.: woman) и МУЖЧИНА (англ.man):
woman(pame).
woman(lize).
woman(pate).
woman(anna).
man (tom).
man(bob).
man( jhim).
6. Определить отношение МАТЬ (англ.: mother) следующим образом:
mother(X,Y):-parent(X,Y),woman(X).
7. Составить и задать системе вопросы, относящиеся к отношению МАТЬ.
8. Определить рекурсивно отношение ПРЕДОК (predok) следующим образом:
predok(X,Z):-parent(X,Z).
150
Страницы
- « первая
- ‹ предыдущая
- …
- 148
- 149
- 150
- 151
- 152
- …
- следующая ›
- последняя »
