[Approved by AICTE, Govt. of India & Affiliated to Dr.
GL BAJAJ
Institute of Technologies & Management
APJ Abdul Kalam Technical University, Lucknow, U.P.,
India]
Greater Noida
Department of Computer Science & Engineering (AIML)
ASSIGNMENT –3
Subject: Artificial Intelligence Subject code: BCAI-501
Faculty Name: Mr. Anand Kumar Yadav Session: 2025-26
Section: 5CSEAIML A & 5CSEAIML C Submission Date:
1. Define Prolog programming. What are the features of Prolog programming?
Explain the following terms concerning Prolog programming:
1. Clauses
2. Predicates
3. Domains (BCAI501.2, K2)
2. Explain the unification algorithm used for reasoning under predicate logic with an example.
(BCAI501.2, K4)
3. Differentiate between forward and backward chaining of inference with the help of an example.
(BCAI501.2, K4)
4. What are the desirable properties of good knowledge representation schemes? (BCAI501.2, K4)
5. Briefly describe the meaning of knowledge representation and knowledge acquisition. What procedure
is followed for knowledge acquisition? Explain. (BCAI501.2, K2)
6. Explain the conversion procedure of the given formula into normal form. (BCAI501.2, K2)