Title: Program development in computational logic
Subjects: Logic programming, Computer logic, Computer science, mathematics, Logic, symbolic and mathematical