Print and PDF Options

SYSC 5803 [0.5 credit] (ELG 6183) Logic Programming

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.