Exam #1

Lab Materials

If I ask you to write code in a particular language, I will have examples of that language to help you out.

Prolog

Know these Prolog terms (in no particular order):

• term
• atom
• variable
• complex term
• structure
• functor
• predicate
• arity
• rule
• fact
• head
• goals

Be able to read Prolog code (and maybe write some code).

Haskell

Know these Haskell terms:

• map
• first-class function
• composition

Be able to read and write Haskell code.

Book and Lecture Material

Look at the lecture outlines, and know that material well. (Be sure to look it up in the book.)

"CYU" refers to the "Check Your Understanding" sections of the book.

Topic	Standard	Bonus
Introduction (Chapter 1)	CYU Questions #2, 3, 4, p. 13 CYU Questions #10, 11, 12, 16, p. 22 CYU Questions #20, 22, p. 31
Names, Bindings, and Scope (Chapter 3)	CYU Questions #1–6, p. 114 CYU Questions #12, 15–18, 20, p. 124 CYU Questions #21, 24, 26, p. 135 Exercises #3.1, 3.2, 3.4, 3.9; page 151
Control Flow (Chapter 6)	CYU Questions #1–7, 9, 10, p. 245 CYU Questions #12–14, 17, 18, p. 254 CYU Questions #19, 22, 24–26, p. 270 Exercises #6.1, 6.3, 6.4, 6.10, 6.21, 6.22; page 298