здравствуйте.
помогите пожалуйста найти ошибку в задаче.
вот описание задания:
Известна система родственных связей с отношением РОДИТЕЛЬ.
Имена в ней не повторяются. Разработать программу логического
вывода, позволяющую определить, кто кому приходится отцом,
матерью, братом, сестрой, дядей, тетей, дедушкой, бабушкой.
а вот код программы:
domains
name=symbol.
predicates
woman(name)
man(name)
parent(name,name)
father(name,name)
mother(name,name)
grandfather(name,name)
grandmother(name,name)
brother(name,name)
sister(name,name)
uncle(name,name)
aunt(name,name)
son(name,name)
grandson(name,name)
daughter(name,name)
granddaughter(name,name)
clauses
parent(alexandr,vasya).
parent(alexandr,natasha).
parent(alexey,denis).
parent(viktor,alexandr).
parent(viktor,olga).
parent(viktor,kirill).
parent(sveta,alexey).
woman(sveta).
woman(olga).
woman(natasha).
man(viktor).
man(alexandr).
man(alexey).
man(vasya).
man(denis).
man(kirill).
mother(X,Y)
arent(X,Y),woman(X).
father(X,Y)arent(X,Y),man(X).
grandmother(X,Z)arent(X,Y),parent(Y,Z),woman(X).
grandfather(X,Z)arent(X,Y),parent(Y,Z),man(X).
brother(X,Y)arent(Z,X),parent(Z,Y), man(X),X<>Y.
sister(X,Y)arent(Z,X),parent(Z,Y), woman(X),X<>Y.
uncle(X,Y)arent(Z,Y),brother(X,Z).
aunt(X,Y)arent(Z,Y),sister(X,Z).
son(X,Y)arent(Y,X),man(X).
daughter(X,Y)arent(Y,X),woman(X).
grandson(X,Z)arent(Z,Y),parent(Y,X),man(X).
granddaughter(X,Z)arent(Z,Y),parent(Y,X),woman(X).
goal
grandson(X,Y), write(X, " to ", Y), nl, fail
при нажатии alt+r программы выдает ошибку No further help message
ПОМОГИТЕ РЕШИТЬ ЭТУ ПРОБЛЕМУ.......
заранее благодарю вас за помощь)
помогите пожалуйста найти ошибку в задаче.
вот описание задания:
Известна система родственных связей с отношением РОДИТЕЛЬ.
Имена в ней не повторяются. Разработать программу логического
вывода, позволяющую определить, кто кому приходится отцом,
матерью, братом, сестрой, дядей, тетей, дедушкой, бабушкой.
а вот код программы:
domains
name=symbol.
predicates
woman(name)
man(name)
parent(name,name)
father(name,name)
mother(name,name)
grandfather(name,name)
grandmother(name,name)
brother(name,name)
sister(name,name)
uncle(name,name)
aunt(name,name)
son(name,name)
grandson(name,name)
daughter(name,name)
granddaughter(name,name)
clauses
parent(alexandr,vasya).
parent(alexandr,natasha).
parent(alexey,denis).
parent(viktor,alexandr).
parent(viktor,olga).
parent(viktor,kirill).
parent(sveta,alexey).
woman(sveta).
woman(olga).
woman(natasha).
man(viktor).
man(alexandr).
man(alexey).
man(vasya).
man(denis).
man(kirill).
mother(X,Y)
arent(X,Y),woman(X).father(X,Y)
arent(X,Y),man(X).grandmother(X,Z)
arent(X,Y),parent(Y,Z),woman(X).grandfather(X,Z)
arent(X,Y),parent(Y,Z),man(X).brother(X,Y)
arent(Z,X),parent(Z,Y), man(X),X<>Y.sister(X,Y)
arent(Z,X),parent(Z,Y), woman(X),X<>Y.uncle(X,Y)
arent(Z,Y),brother(X,Z).aunt(X,Y)
arent(Z,Y),sister(X,Z).son(X,Y)
arent(Y,X),man(X).daughter(X,Y)
arent(Y,X),woman(X).grandson(X,Z)
arent(Z,Y),parent(Y,X),man(X).granddaughter(X,Z)
arent(Z,Y),parent(Y,X),woman(X).goal
grandson(X,Y), write(X, " to ", Y), nl, fail
при нажатии alt+r программы выдает ошибку No further help message
ПОМОГИТЕ РЕШИТЬ ЭТУ ПРОБЛЕМУ.......
заранее благодарю вас за помощь)
