CS2LAP: Notes and Materials

Lecture Notes

• An Introduction to Prolog Programming
• Using Linux and SWI-Prolog
• Logic: Proof Methods Summary
• Implementing a Goal-directed Theorem Prover in Prolog
• Revision Guide

Slides

• Prolog
• Organisational Stuff (Tuesday, 26/09/00)
• Introduction to Propositional Logic (Tuesday, 26/09/00)
• Labs and Office Hours (Thursday, 28/09/00)
• Natural Deduction Review (Thursday, 19/10/00)
• Goal-directed Deduction I (Thursday, 19/10/00)
• Goal-directed Deduction II (Thursday, 26/10/00)
• Reading Week etc. (Tuesday, 31/10/00)
• Debugging Prolog Programs (Tuesday, 14/11/00)
• Goal-directed Deduction for First-order Logic (Thursday, 23/11/00)
• Implementing a Goal-directed Theorem Prover in Prolog (Tuesday, 28/11/00)
• Revision (Tuesday, 12/12/00)

Past Exam Papers

• CS2LAP Exam 1998/1999 (Solutions)
• CS2LAP Exam 1999/2000 (Solutions)