A Prolog Compendium MarcBezem DepartmentofInformatics,UniversityofBergen P.O.Box7800,N-5020Bergen,Norway [email protected] November1,2010 1 Introduction 1.1 Algorithm=Logic+Control…