Q: Which one of the following algorithms is used in logic programming systems, which employ sophisticated compiler technology to provide very fast inference?
(a)Backward chaining
(b)Forward chaining
(c)Constraint Satisfaction problem
(d)A* algorithm
Correct Answer: (a)
The correct answer is (c): Constraint Satisfaction problem. Subject: Science & Technology | Sub-topic: Computer & Information Technology Note: This answer was determined through AI-based research. Verify against the official answer key when available.