Swedish web site
TDDD08 Logic Programming
Lectures
| #1 | Practical matters, objectives, summary of basic logic (Ch 1) [Handouts] |
| #2 | Definite logic programs (Ch 2) [Handouts] |
| #3 | Unification (Ch 3) [Handouts] |
| #4 | SLD-Resolution (Ch 3) [See previous lecture] |
| #5 | Negation as (finite) failure (Ch 4) [Handouts] |
| #6 | SLDNF-Resolution (Ch 4) [See previous lecture] |
| #7 | Definite Clause Grammars (DCGs) (Ch 10) [Handouts] |
| #8 | Cut (Ch 5) [Handouts] |
| #9 | Constraints (Ch 14) [Handouts] |
| #10 | Finite Domain Constraints (Supplementary Chapter) [Handouts] |
| #11 | Reserve |
Page responsible: Ulf Nilsson
Last updated: 2010-12-07
