This unit provides an introduction to the field of artificial intelligence (AI) from the persepctive of logic programming. The first half covers the basic principles of knowledge representation and ...