A1.
(f) (i) Using unary predicates
poor, smart, happy, read, wealthy, exciting
or otherwise, convert the following sentences into Prolog clauses:
All people who are not poor and are smart are happy.
Those people who read are smart.
John can read and is wealthy.
Happy people have exciting lives.
[10 %]
(ii)
Formulate the following query to your program of part (i) and make a list of the goals in the resulting computation, showing clearly any failure and backtracking:
Can anyone be found with an exciting life?
