Hide menu

TDDD08 Logic Programming


Subject to modifications and alignments.
The linked files may be corrected/updated without notice. (Cf. the version number and the automatically generated compilation date.) The linked slides are in a form for printing (4 slides per page). Their original form (with hyperlinks) may be found in the same directory.
#1 Practical matters, objectives, introduction to logic programming
Handouts: [introduction], [puzzle solving program with a fragment of a trace]
#2 Definite logic programs, declarative semantics
Handouts: [declarative semantics].
#3,4 Unification. Operational semantics.
[Handouts], [addition] on SLD-resolution,
#4,5 Introduction to Prolog. Example programs.
Handouts: [Prolog], [example programs (also from other lectures)], [Prolog built-ins, a draft overview].
#6 Herbrand interpretations
#7 Program correctness. Declarative debugging.
Handouts: [program correctness & completeness], [additional slides], [declarative diagnosis],
Also, Section 3 of this [article].
Lectures of 2013

Page responsible: Wlodek Drabent
Last updated: 2014-09-23