AILog User Manual Version 2 3 David Poole Department of Computer Science University of British Columbia Vancouver B C Canada V6T 1Z4 il poole cs ubc ca http www cs ubc ca poole September 27 2013 URL Abstract This manual describes AILog formerly CILog a simple representation and reasoning system based on the books Artificial Intelligence foundations of computational agents Poole and Mackworth 2010 and Computational Intelligence A Logica
Knowledge Representation and Reasoning Prolog and AlLog Practical 2012 2013 Exercises Peter Lucas Institute for Computing and Information Sciences iCIS Radboud University Nijmegen Contents 1 Learning outcomes 3 2 AI programming and representation 3 2 1 Symbol manipulationvss 2 2 ace sean Pa oe ek Se ew Bh na Ps 3 2 2 Characteristics of PROLOG 2 0 0 0 a Ea a a ee 4 23 AlL g hean WS oN te deal ih ea in OR a eb Be he eee 5 3 Introductory remarks about