Skip to content
Related Articles

Related Articles

Improve Article
Save Article
Like Article

UGC-NET | UGC NET CS 2016 Aug – III | Question 75

  • Last Updated : 12 Apr, 2018

Which formal system provides the semantic foundation for Prolog?
(A) Predicate calculus
(B) Lambda calculus
(C) Hoare logic
(D) Propositional logic

Answer: (A)


Quiz of this Question
Please comment below if you find anything wrong in the above post

My Personal Notes arrow_drop_up
Recommended Articles
Page :

Start Your Coding Journey Now!