Prolog

Consider the following query: a. ?- woman(X), parent(_, X).

a. What constraint does this query put on "X", i.e., what must "X" be, given this query?

b. What relationship between "X" and "Y" does this query imply?

Note that "\=" means "not equal to", i.e., "X is not equal to Y". Note also that the queries of (a.) and (b.) will produce duplicates; that is okay.

c. Write an appropriately named rule in terms of "X" for the query (a.)

d. Write an appropriately named rule in terms of just "X" and "Y" for the query (b.)

A note on the meaning of "appropriately named rule" via an example: given some query "man(X), parent(X, _)", it would follow that "X" would have to be a "father", hence "father(X) :- man(X), parent(X, _)" would be an appropriately named rule in this case. Note, again, that your rules (a.) and (b.) may produce duplicates; that is okay.