search
Log In
1 vote
1.5k views

Which formal system provides the semantic foundation for Prolog ?

  1. Predicate calculus
  2. Lambda calculus
  3. Hoare logic
  4. Propositional logic
in Others
retagged by
1.5k views

3 Answers

3 votes

ans should    A  Predicate calculus      

Prolog Inference mechanism

Prolog is based on First Order Predicate Logic ---sometimes abbreviated to FOPL.

First order predicate logic implies the existence of a set of predicate symbols along with a set of connectives. 
First order predicate logic implies that there are no means provided for "talking about'' the predicates themselves.

Prolog is based on FOPL but uses a restricted version of statements in FOPL, called Horn clause form.

http://faculty.simpson.edu/lydia.sinapova/www/cmsc310/Prolog/PrologLessons/LS01-Rules.htm                                                                                                                                                   

2 votes
  • Propositional logic is an axiomatization of Boolean logic.
  • Predicate logic includes propositional logic and predicates and quantifiers. It is used for making logical programming languages like prolog.
  • Lambda logic is used to represent computation as a combination of functions and variables.
  • Hoare logic is used to check correctness of computer program. Each calculation must be of the form PCQ where P is precondition, C is the calculation and Q is the post condition

Prolog is based on Predicate calculus

Answer is A

0 votes

Prolog is basically a propositional logic based language.Quoted from wiki about Prolog's basis :

"Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is declarative: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations".

First order logic is nothing but an extension of propositional logic by use of unviersal and existential quantifiers.

Hence D) option should be correct.

Related questions

2 votes
1 answer
1
537 views
In Artificial Intelligence , a semantic network Is a graph-based method of knowledge representation where nodes represent concepts and arcs represent relations between concepts. Is a graph-based method of knowledge representation where nodes represent relations between concepts and arcs ... concepts. Represents an entity as a set of slots and associated rules. Is a subset of first-order logic.
asked Oct 5, 2016 in Others makhdoom ghaya 537 views
2 votes
1 answer
2
557 views
Match each Artificial Intelligence term in List-I that best describes a given situation in List - II : List - I List - II I. Semantic Network a. Knowledge about what to do as opposed to how to do it. II. Frame b. A premise of a rule that is not concluded by any rule. III. ... Primitive d. A data structure representing stereotypical knowledge. Codes : I II III IV d a b c d c a b d c b a c d a b
asked Oct 5, 2016 in Others makhdoom ghaya 557 views
0 votes
2 answers
3
777 views
Which one of the following describes the syntax of prolog program? Rules and facts are terminated by full stop(.) Rules and facts are terminated by semi colon(;) Variables names must start with upper case alphabets. Variables names must start with lower case alphabets. I, II III, IV I, III II, IV
asked Jan 5, 2017 in Artificial Intelligence jothee 777 views
3 votes
1 answer
4
643 views
Which one of the following is the correct implementation of the meta-predicate “not” in PROLOG (Here G represents a goal)? not(G):- !, call(G), fail. not(G). not(G):- call(G), !, fail. not(G). not(G):- call(G), fail, !, not(G). not(G):- call(G), !, fail.not(G):- !.
asked Jul 19, 2016 in Artificial Intelligence jothee 643 views
...