COMP 360 - Computational Logic and Logic Programming