Computer-Organization
January 5, 2025Artificial-Intelligence
January 5, 2025Artificial-Intelligence
|
Question 2
|
Which formal system provides the semantic foundation for Prolog?
|
Predicate calculus
|
|
|
Lambda calculus
|
|
|
Hoare logic
|
|
|
Propositional logic
|
Question 2 Explanation:
Predicate calculus provides the semantic foundation for Prolog.
Correct Answer: A
Question 2 Explanation:
Predicate calculus provides the semantic foundation for Prolog.