Пролог. Пара задач за вознаграждение

[Kawun]

Здравствуйте. Ниже дано условие задачи. Задачу необходимо решить на Прологе. В качестве вознаграждения могу положить денюжку на телефон (мтс, билайн, мегафон), либо перевести WMR на кошелек WebMoney.

Позже опубликую вторую и третью задачи.

Задача 1
Написать предикат, определяющий, что X является бабушкой Y:
Бабушка (X,Y), где X и Y – имена.

Использовать информацию о родителях из следующего предиката:
Родители (X, M, F), где X – Имя ребенка, M – имя мамы, F – имя отца.

[прохожий11]

Лабораторная работа №3
Нарисовать собственное генеалогическое дерево до 4 поколения включительно и составить программу, содержащую отношения «предки», «предки по материнской линии», «предки по отцовской линии». Уметь задавать вопросы типа:
А) найти предков указанного лица;
Б) найти предков указанного лица по отцовской или материнской линии;
В) чьим предком является указанное лицо.

Егор
Андрій Марія
Олександр Наталія Валерій М1
Георгій Евгенія Володимир Ніна Д1 Б1 Д2 Б2


Лістинг:
Domains
s=symbol
predicates
m(s,s)
f(s,s)
pred(s,s)
pred_m(s,s)
pred_f(s,s)

clauses
m("Mariya","Egor").
m("Mama1","Mariya").
m("babysja2","Mama1").
m("Nataliya","Andriy").
m("Nina","Nataliya").
m("Evgenija","Oleksandr").
m("babusja1","Valeriy").
f("didus2","Mama1").
f("didus1","Valeriy").
f("Andriy","Egor").
f("Valeriy","Mariya").
f("Oleksandr","Andriy").
f("Volodimir","Nataliya").
f("Georgiy","Oleksandr").
pred_m(X,Y):-m(X,Y).
pred_m(X,Y):-m(R,Y),pred(X,R).
pred_f(X,Y):-f(X,Y).
pred_f(X,Y):-f(R,Y);pred(X,R).
pred(X,Y):-m(X,Y);f(X,Y).
pred(X,Y):-m(Z,Y),pred(X,Z);f(Z,Y),pred(X,Z).

P.S. под свое задание подкоректируй листинг.

[rrrFer]

ICQ 395-546-218