This course covers the theoretical foundations and history of logic programming, syntax, semantics, and basic constructions of Prolog language, facts, rules, and query structuring