Text this: Program development in computational logic :