SLR2.4 – Computational logic