uestion 81

Resolution is an especially inefficient inference rule for Horn clauses.

True

False

1 points

Question 82

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

		existential
		universal
		global
		logical

1 points

Question 83

Logic programming uses second-order predicate calculus.

True

False

1 points

Question 84

A list is written in Prolog using ____ to enclose the items.

		curly braces
		square brackets
		single quotes
		double quotes

1 points

Question 85

____ are statements that are assumed to be true and from which other true statements can be proved.

		Axioms
		Predicates
		Logical statements
		Universal statements