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

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!