COMP1007 Principles of Programming

COMP1007 is the Term 1, first year programming course. I is a half-unit course introducing programming using two contrasting programming languages. This course is taught in two parts:

• Part I, Introduction to Imperative Programming with Java, taught by Graham Roberts during the first five weeks of term.
• Part II, Introduction to Declarative Programming with Prolog, taught by me (Mohamed Ahmed) during the last five weeks of term (after reading week).

Lecture Slides

• Course Introduction
• Week 1:
  • Introduction to Prolog, variables, atoms, facts and rules
  • Introduction to recursion and data structures
  • Week 1 exercises
• Week 2:
  • Basic operators and lists
  • Week 2 exercises. Don't forget that the exercises in your lecture note are also a part of the lab classes.
• Week 3 - I will be away during this week and this section will be taught by Evangelos Tzanis
  • A short introduction to propositional logic.
  • Week 3 exercises.
• Week 4
  • Backtracking.
  • Simple introduction to planning.
  • Planning continued.
  • Dynamic variables (Supplementary).
  • Week 4 exercises and mini-project.
• Week 5: Application
  • to be confirmed
  • to be confirmed

Additional Notes and Resources

• A quick Prolog how to can be found here, please read this carefully.
• We are using the SWI-Prolog interpreter for the course; it can be downloaded from here for home use.
• Documentation for SWI-Prolog can be found here.
• And finally, code for examples and your assignments can be found here.