CSCE 5212 - Foundations of Logic Programming

3 hours

Logic programs, including definite, normal and general types. Inference methods, including forward-chaining, backward-chaining and deduction graphs. Theorem proving and deductive databases. Unification, soundness and completeness of resolution-refutation process and PROLOG.

Prerequisite(s): CSCE 4310.