Represent the following statements as formulas of Predicate Calculus, stating the
intended interpretation of any predicates and constants that you use. You should
give two versions of each formula, one using the existential quantifier and one
using the universal quantifier .
i. Someone who writes novels is a novelist.
ii. All novels are books.
iii. All novelists, poets and journalists are writers.
iv. Poets are not the only writers.
v. Some novelists are American and some are Indian.
vi. Not all writers are American or Indian.


Encode the following facts as Prolog clauses. NB you may need to code more than
one clause for each numbered sentence. You should keep the queries (i-v) below in
mind when deciding how to structure your clauses.
1. Olga Tokarczuk is Polish and wrote the novel Flights.
2. Martha Gellhorn was an American novelist and journalist.
3. Sylvia Plath was American and wrote a poem called Ariel.
4. Arundhati Roy is a