Question

For each of the following English statements write a prolog program.

% Facts & Rules
(1) jane is a woman.
(2) john is a man.
(3) john is healthy.
(4) jane is healthy.
(5) john is wealthy.
(6) anyone is a traveler if he is healthy and wealthy.
(7) anyone can travel if he is a traveler.

% Goals (queries).
(8) Who can travel?
(9) Who is healthy and wealthy?

Answer 1

Here is the prolog program for above questions,

1. woman(jane).
2. man(john).
3. healthy(john).
4. healthy(jane).
5. wealthy(john).
6. traveller(x):- traveller(x,healthy,wealthy).
7. travel(x):-travel(x,traveller).
8. ?-travel(who).
9. ?-healthy(x),wealthy(x).