Question 76

Logic programming systems are sometimes referred to as ____.

		logic queries
		deductive databases
		derivative databases
		successional databases

1 points

Question 77

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

		axiomatic clauses
		algorithms
		Horn clauses
		control clauses

1 points

Question 78

Prolog completely satisfies the original goal of logic programming.

True

False

1 points

Question 79

The closed-world assumption is that all solutions ____ or are assumed false.

		must be finite
		must be rational
		must be proved true
		must be limited to a closed solution set

1 points

Question 80

Automated deduction systems have difficulty handling all of first-order predicate calculus.

True

False