Question

(2-2) In relatives.pl file, write and add the following rule. ancestor(X, Y) : X is an ancestor of Y Run ancestor(brown, X). Submit all generated result for X by running your program. (2-3) In relatives.pl file, write and add the following rule. descendent(X,Y): X is a descendent of Y Run descendent(david, X). Submit all generated result for X by running your program. (2-4) In relatives.pl file, write and add the following rules. fatherinlaw(X,Y): X is a fatherinlaw of Y Run fatherinlaw(X, Y). Submit all generated result for X and Y by running your program. (2-5) In relatives.pl file, write and add the following rules. niece(X,Y): X is a niece of Y Run niece(X, Y). Submit all generated result for X and Y by running your program. If you need an operation not, use the operator "not" ( \== ), like X\==Y.

Answer 1

Answer:

Check the explanation

Explanation:

relatives.pl

/* Facts */

male(ace).

male(john).

male(jack).

male(bill).

male(david).

male(brown).

male(daniel).

female(cecil).

female(aba).

female(cathy).

parent(john,ace)

parent(tom,john)

parent(jack,john)

parent(bill,aba)

parent(brown,aba)

parent(cecil,bill)

parent(david,cecil)

parent(cathy,brown)

parent(daniel,cathy)

parent(ellen,daniel)

/* parent(X,Y) -> Y is parent of X */

wife(ceceil,jack) /* wife(X,Y) -> Y is wife of X */

Answer of 2-2

Considering all facts and rules answer will be daniel,ellen.

Answer 2-3

Considering all facts and rules answer will be bill.

Answer 2-4

Considering all facts and rules X will be john and y will be cecil.

Answer 2-5

Considering all facts and rules X will be tom and y will be david.