Title: Computational Logic : Logic Programming and Beyond Pt. II