SLR11 – Computational logic