The kind of logic used in logic programming is lambda calculus.

true or false

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

True

False

In Prolog, arithmetic terms can be written in either infix notation or prefix notation.

True

False

Question 4

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