Procedural and declarative programming differences. Programming according to predicate logic. Propositional logic. Entailment and proof methods in propositional logic. Axioms and decidability. Resolution methods. Syntax and semantics of predicate logic. Unification and resolution in predicate logic. Horn clauses. The Prolog programming language. Syntax, lists, operators and arithmetic. Backtracking control and negation. Data structure handling. Applications of Prolog in search problems, symbolic processing and natural language understanding.
