Logic Programming

Chapter 1: Introduction

Introduction to Prolog

Facts, Rules and Queries

Prolog Syntax

Chapter 2: Unification

Unification

Unification in Prolog

Proof Search

Chapter 3: Recursion

Recursive definitions in Prolog

Four examples

Mismatches between the declarative and procedural meaning of a Prolog program

Chapter 4: Lists

Introduction to Lists

The member/2 predicate

The idea of recursing down lists