Email Record: Program development in computational logic :