2.4 Computational logic