Program Development In Computational Logic by Maurice Bruynooghe