T
Thrillseeker
Буду признателен любой помощи в решении данного задания.
Ответьте на вопрос “Что ест моя кошка?“, если: Птицам нравятся червяки. Кошкам нравятся рыбы. Друзья
нравятся друг другу. Моя кошка мой друг. Моя кошка ест все, что ей нравится.
likes(symbol,symbol)
Clauses
likes(bird,worm).
likes(cat,fish).
likes(friend1,friend2).
likes(cat,friend).
Этот вариант работает, но преподавателя, увы, не устраивает.
Он написал примерно следующее:
domains
s=symbol
predicates
bird(s)
worm(s)
cat(s)
friend(s,s)
fish(s)
eat(s,s)
like(s,s)
prinad(s,s)
clauses
bird(x). worm:-like(x,y).
cat(x). fish:-like(x,y).
friend(x,y):-like(x,y),like(y,x).
Ответьте на вопрос “Что ест моя кошка?“, если: Птицам нравятся червяки. Кошкам нравятся рыбы. Друзья
нравятся друг другу. Моя кошка мой друг. Моя кошка ест все, что ей нравится.
likes(symbol,symbol)
Clauses
likes(bird,worm).
likes(cat,fish).
likes(friend1,friend2).
likes(cat,friend).
Этот вариант работает, но преподавателя, увы, не устраивает.
Он написал примерно следующее:
domains
s=symbol
predicates
bird(s)
worm(s)
cat(s)
friend(s,s)
fish(s)
eat(s,s)
like(s,s)
prinad(s,s)
clauses
bird(x). worm:-like(x,y).
cat(x). fish:-like(x,y).
friend(x,y):-like(x,y),like(y,x).