Which formal system provides the semantic foundation for PROLOG?
2022
Which formal system provides the semantic foundation for PROLOG?
- A.
Predicate Calculus
- B.
Lambda Calculus
- C.
Hoare Logic
- D.
Propositional Logic
Attempted by 307 students.
Show answer & explanation
Correct answer: A
PROLOG is based on First-Order Predicate Logic .