Review of relational databases, first order predicate calculus, semantics of first order models, deductive querying. Proof theory, unification and resolution strategies. Introduction to Prolog, and/or parallelism and Concurrent Prolog. Applications in knowledge representation and rule-based expert systems.