Program development in computational logic by Maurice Bruynooghe | Menrva Books | MenrvaBooks