Program Development in Computational Logic

Includes supplementary material: sn.pub/extras