Prolog

Question 1
Which formal system provides the semantic foundation for Prolog?
A
Predicate calculus
B
Lambda calculus
C
Hoare logic
D
Propositional logic
Artificial-intelligencePrologUGC NET CS 2016 Aug- paper-3
Question 1 Explanation: 
Predicate calculus provides the semantic foundation for Prolog.
There is 1 question to complete.

Access quiz wise question and answers by becoming as a solutions adda PRO SUBSCRIBER with Ad-Free content

If you have registered and made your payment please contact solutionsadda.in@gmail.com to get access