CSc 8710, Deductive Databases and Logic Programming
Fall 2002

---

• Bulletin Board
  
• Syllabus
  
  
• Chapter 1 (pdf file)
• Chapter 2 (pdf file)
• Chapter 3 (pdf file)
• Answers to Selected Problems (pdf file)
• Prolog Notes
• SWI-Prolog Manual
• SWI Prolog Home Page
• Homework 2
• Homework 3
• MGU Algorithm (pdf)
• Homework 4
• HW5: Repeat HW4 with semi-naive algorithm (Due: 24 October)
• HW6: Repeat HW4 with semi-naive algorithm on Magic-Set transformed rules (Due: 31 October)
• Homework 7
• Negation Notes
• Practice Problems for Exam 2

Page Maintained by raj@cs.gsu.edu