We will not be using a textbook for the course. Instead, we will use the CSC324 Coursepack written by David Liu from the St. George campus. We will follow the notes closely for the majority of the course, but our treatment of logic programming will differ. Additional notes will be posted here. David Liu's Coursepack also contains various exercises that are great practice for the course.
Additional notes will be posted here.