Question: Variables set equal to patterns are said to be ____. unified instantiated initialized resolved QUESTION 13 To force Prolog to perform loops and repetitive searches,
Variables set equal to patterns are said to be ____.
| unified | ||
| instantiated | ||
| initialized | ||
| resolved |
QUESTION 13
To force Prolog to perform loops and repetitive searches, we must force backtracking even when a solution is found by using the built-in predicate ____.
| is | ||
| fail | ||
| parent | ||
| repeat |
QUESTION 18
The ____ quantifier represents all things in the universe named by the variable.
| existential | ||
| universal | ||
| global | ||
| general |
____ Prolog was used as the basis for the Prolog ISO standard.
| Resolution | ||
| Horn | ||
| Unification | ||
| Edinburgh |
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
