Computational Logic
Some general information in
postscript
or in
pdf
Some practical information in
postscript
or in
pdf
Part I Foundations of Logic Programming
Definite programs: slides in
postscript
or in
pdf
and solutions to exercises in
postscript
or in
pdf
Programs with negation: slides in
postscript
or in
pdf
and solutions to exercises in
postscript
or in
pdf
Part II Analysis and Transformation of Logic Programs
Termination analysis: slides (sections 1 and 2) in
postscript
or in
pdf
, (sections 3 and 4) in
pdf
and solutions to exercises in
postscript
or in
pdf
Abstract interpretation: slides in
postscript
or in
pdf
and solutions to exercises in
postscript
or in
pdf
. An article with more background
pdf
Program specialisation: slides in
postscript
or in
pdf
and solutions to exercises in
postscript
or in
pdf