Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

    Sep 25, 2022  
2018-2019 Graduate Catalog 
2018-2019 Graduate Catalog [ARCHIVED CATALOG]

Add to My Catalog (opens a new window)

CSCE 5412 - 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): None.

Add to My Catalog (opens a new window)