Which will be the instance of the class datalog knowledge bases?
(a) Variables
(b) No function symbols
(c) First-order definite clauses
(d) None of the mentioned
I had been asked this question in final exam.
The above asked question is from Forward Chaining in section Logical Agents of Artificial Intelligence