Logic Programming

Table of Contents

Logic Programming

Motivation

Sample Problem

Sample Prolog Program: grandmother.pl

Sample Prolog Session

Example with Lisp Syntax

A Session

A session (cont)

A session (cont)

Lists in Prolog:Transformations can be Expressed Declaratively

Defining Predicates on Lists

concat a.k.a. append

concat used backwards

Logic Prog. vs Functional Prog.

Steps in Writing a Logic Program

Predicate Logic

Clause Form

Horn Clauses

How Does Matching Work in Prolog?

Unification of Literals

Horn-Clause Resolution

A Backtracking Horn-Clause Resolver

Email: tanimoto@cs.washington.edu

Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html

Download presentation source