Multiple Choice
____ Prolog was used as the basis for the Prolog ISO standard.
A) Resolution
B) Horn
C) Unification
D) Edinburgh
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q38: Most logic programming systems restrict themselves to
Q39: Variables set equal to patterns are said
Q40: A variable introduced by a quantifier is
Q41: Prolog uses _.<br>A) lowercase for variable names,
Q42: Prolog programs use a particular kind of
Q44: A logic programming language is a notational
Q45: Logic programming uses second-order predicate calculus.
Q46: _ is the process of pattern matching
Q47: A(n)_ quantifier states that a predicate is
Q48: In the Horn clause a₁ and a₂