Work through the following materials this week:

• The Learn Prolog Now! tutorial (LPN!):

  • You’ll be using SWI Prolog, an open-source implementation of Prolog developed at the Sociaal-WetenschappeLijke Informatica (SWI) group at the University of Amsterdam. This tool is pre-installed on the Windows portion of the lab and you can easily install on your own machine.

  • LPN! Chapter 1 - Facts, Rules and Queries

    1. Do the “Practical Session” in Section 1.4 first. You should be able to start SWI Prolog on your system and do the exercises at the command prompt. We suggest creating the specified knowledge bases as separate files (see LPN! knowledge bases) and executing them on your system. SWI Prolog will automatically load the file and set its local directory appropriately.
    2. Read Sections 1.1-2, and work through their examples.
    3. We’ll look at some of the exercises in Section 1.3 during lab.

  • LPN! Chapter 2 - Unification and Proof Search

    1. Read Sections 2.1-2, and work through their examples.
    2. Do the “Practical Session” in Section 2.4.
    3. We’ll look at some of the exercises in Section 2.3 during lab.

  You will work with Prolog in the lab, so have this done by lab day.

• Attend to the following sections of Chapters 7-8:

  • Sections 7.1-7.4 - Study the basics of logic and familiarize yourself with propositional logic.
  • Sections 8.1-8.3 - Familiarize yourself with first-order logic.

  This unit covers a considerable amount of material from the text. Focus on the discussions and examples from class and on logic programming in Prolog.