What is the condition of variables in first-order literals?
(a) Existentially quantified
(b) Universally quantified
(c) Both Existentially & Universally quantified
(d) None of the mentioned
I had been asked this question in an interview for internship.
Query is from Forward Chaining in division Logical Agents of Artificial Intelligence