Computational Logic and Algorithms