Question

1. Facts are given in each of the sub-questions. Translate the following sentences (bold italic) into a Prolog program (rules are required):

a. Every mother likes her child if her child is good.

mother(ann, lina).

mother(annie, sophie).

mother(ann, john).

mother(annie, jack).

mother(maria, anne).

mother(maria, harith).

good(john).

good(anne).

good(harith).

good(sophie).

b. Every woman loves her husband if her husband is helpful.

married(ann, king).

married(annie, chong).

married(maria, kumar).

helpful(chong).

c. Uncles are brothers of our parents.

sibling(ahmad, ali).

sibling(annie, chong).

sibling(devi, kumar).

sibling(sheda, salina).

sex(ahmad, male).

sex(annie, female).

sex(sheda, female).

sex(salina, female).

sex(devi, male).

sex(ali, male).

sex(chong, male).

sex(kumar, male).

d. Aunties are sisters of our parents.

sibling(ahmad, ali).

sibling(annie, chong).

sibling(devi, kumar).

sibling(sheda, salina).

sex(ahmad, male).

sex(annie, female).

sex(sheda, female).

sex(salina, female).

sex(devi, male).

sex(ali, male).

sex(chong, male).

sex(kumar, male).

2. How would you write a Prolog goal that lists all the blue objects on the table? [Hint: use compound queries]

color(ball, blue).

color(box, brown).

color(chair, blue).

color(table, purple).

color(sky, blue).

on(ball, table).

on(box, table).

on(chair, table).

on(table, floor).