Title: Program development in computational logic
Subjects: Logic programming, Computer logic