задачи на вывод методом резолюции
Здравствуйте! помогите пожалуйста с этими 3мя задачами! Заранее спасибо!
Задано множество предложений «Родственные отношения» . Построить вывод методом резолюций заданной цели, предварительно введя недостающие предикаты и правила. При выводе можно ограничиться одним истинным значением искомой переменной (так как может существовать несколько значений, удовлетворяющих одной и той же цели) .
Предикаты
муж (Х) – Х – мужчина
жен (Х) – Х – женщина
отец (X,Y) – X – отец Y
мать (X,Y) – X – мать Y
сестра (X,Y) – X – сестра Y
брат (X,Y) – X – брат Y
дочь (X,Y) – X – дочь Y
сын (X,Y) – X – сын Y
род (X,Y) – X – родитель Y
Предложение:
1.отец (сергей, дмитрий) . Цель: дядя (юрий, Y)
2.отец (сергей, виктория) . Цель: свекровь (Х, луиза)
3..отец (юрий, вадим) . Цель: племянница (жанна, Y)