Три вопроса Пролога включают прародителя

Question

Эта программа будет протестирована с использованием SWI Prolog.

Family.pl содержит факты о членах семьи, с кем замужем, что-то в этом роде.

Правила должны быть добавлены внизу и отправьте измененный файл.

1. Напишите предикат motherInLaw(X,Y), означающий, что X является тещей Y.

2. Напишите предикат grandParent(X,Y), который означает, что X является прародителем Y.

3. Напишите предикат grandMother(X,Y), который означает, что X равен Y ' s Бабушка.

Спасибо, ребята!

вот мои собственные ответы, не могли бы вы взглянуть и сказать мне, если они верны? Спасибо

motherInLaw(X, Y) : mother(X, Z),couple(Z, Y)

grandParent(X, Y) : parent(X, Z),parent(Z, Y)

grandMother(Z, Y) : mother(X, Z),parent(Z, Y)

Answer 1

Вам нужно написать :- вместо : и . в конце каждого предложения

Предикат grandmother/2 выглядит очень странно. На самом деле я думаю, что заголовок статьи должен быть grandMother(X,Y).