Online Resources For Logic and Logic Programming

• Cmput 325 (Non Procedural Programming) courses
• Greiner 1999 version
• LectureNotes
• You's 2001 version
• SICStus Prolog User's Manual
• Sample Session (from You)
• On-line books and guide to Prolog programming
• On-line guide to Prolog programming
• Adventure in Prolog
• Prolog programming: A first course
• Glossary of First Order Logic. A useful reference about terminology.