Topic 1B – Computational logic