The aim of this course is to introduce the basic principles, methods and techniques of Artificial Intelligence (AI). The course provides the wider historical context in which the AI vision was set and discusses a series of important topics including the use of search as a capability for exploring alternative solutions, the role of first-order logic for knowledge representation, computational reasoning and problem solving systems, and how AI systems use knowledge to plan and learn from first principles. The work is exemplified using the AI programming language Prolog.