(NOTE: The original plan for Lab #3 was to implement a type checker using Typed Racket. However, due to some issues I ran into with planning this lab, I'm going to move type checking to a later point in the class, and so this lab will be on logic programming.) Please do the following exercises in The Art of Prolog (go to https://mitpress.mit.edu/books/art-prolog-second-edition (Links to an external site.) and click "Open Access" and click "Download PDF") and submit them to me as a PDF file: Section 2.1 (p. 34): i, ii, iii Section 2.2 (p. 38): i, ii, iii Section 2.3 (p. 41-42): i, ii, iii Section 3.1 (p. 55): i, iv, v Section 3.2 (p. 64-65): i, ii, iii All exercise questions have equal weight in terms of points. Also note that while you will be writing logic programs, you won't be executing them; this is a pen-and-paper exercise (though you may type your answers).