Logic and automated reduction, Horn clauses, facts and the prolog data base prolog data types, questions, matching and unification, rules, the procedural side of prolog, using cut, recursion, list handling, I/O evaluable predicates, the prolog data base, techniques for building expert systems, techniques for language processing