Write the following English conditional statements as Prolog-headed Horn clauses: a. If Fred is the father of

Question:

Write the following English conditional statements as Prolog-headed Horn clauses:

a. If Fred is the father of Mike, then Fred is an ancestor of Mike.

b. If Mike is the father of Joe and Mike is the father of Mary, then Mary is the sister of Joe.

c. If Mike is the brother of Fred and Fred is the father of Mary, then Mike is the uncle of Mary.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: