Mylopoulos slides covered in class are:

   - Introduction 
   - Logical Foundations
   - Unification and Proof Trees
   - Search
   - List Processing
   - Control

Within these slides, the content of the following ones was  
covered neither in class nor in tutorials:

   - Search: 12,13,17
   - List Processing: 2,3,4
   - Control:14,15,16,17,18,19,20




Iluju Kiringa