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