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.)
#1 Practical matters, objectives, introduction to logic programming
Handouts: [introduction], [declarative semantics], [puzzle solving program with a fragment of a trace]
#2 Definite logic programs, declarative semantics
Handouts - see above
Lectures of 2013

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