Question 15

The semantics of programming language constructs is called ____.

		logic statements
		axiomatic semantics
		syntax
		specifications

2 points

Question 16

Prolog applies resolution in a strictly linear fashion, replacing goals from left to right.

True

False

2 points

Question 17

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

		definite clause grammars
		procedural clause grammars
		axiom clause grammars
		reverse clause grammars

2 points

Question 18

____ takes the perspective that a program describes what the solution to a problem is, not how that problem is solved.

		Interpretive programming
		Resolution
		Declarative programming
		Unification

2 points

Question 19

Most Prolog systems are run as interpreters, not compilers.

True

False