Exam 4: Logic Programming

Prolog uses ____.

Prolog programs use a particular kind of grammar rules called ____.

____ Prolog was used as the basis for the Prolog ISO standard.

A logic programming language is a notational system for writing logical statements together with specified algorithms for implementing inference rules.

Logic programming uses second-order predicate calculus.

____ is the process of pattern matching to make statements identical.

A(n)____ quantifier states that a predicate is true of at least one thing in the universe,indicated by the variable.

In the Horn clause a₁ and a₂ and a₃ → b,the variable b is called the ____.

Nonmonotonic reasoning is that adding information to a system can ____.

The ISO standard for Prolog standardized the responses from a Prolog interpreter.