• Introduction
• A Brief look at First Order Predicate Logic and Prolog
• The Syntax of FOPL
• Interpretation of FOPL
• Rules of Inference
• Clausal Form
• Unification
• The Law of Resolution
• The Resolution Refutation Technique
• The "Answer Extraction" Technique
• Resolution Strategies
• The Logic Programming Framework
• About this document ...