Question 5

Most logic programming systems restrict themselves to a particular subset of predicate calculus called ____.

		axiomatic clauses
		algorithms
		Horn clauses
		control clauses

2 points

Question 6

Statements that can be derived from the logic program are known as queries or goals.

True

False

2 points

Question 7

The ____ quantifier represents all things in the universe named by the variable.

		existential
		universal
		global
		general

2 points

Question 8

Every logical statement can be turned into Horn clauses.

True

False

2 points

Question 9

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

		head
		body
		tail
		fact

2 points

Question 10

The statements a b and b c then a c are an example of a typical inference rule.

True

False