Multiple Choice
Variables set equal to patterns are said to be ____.
A) unified
B) instantiated
C) initialized
D) resolved
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q34: An example of a Horn clause is
Q35: Statements that can be derived from the
Q36: Prolog is vulnerable to infinite loops because
Q37: Prolog completely satisfies the original goal of
Q38: Most logic programming systems restrict themselves to
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
Q43: _ Prolog was used as the basis
Q44: A logic programming language is a notational