Program development in computational logic | lit.salon