Mar 28, 2024  
Graduate Catalog | 2017-2018 
    
Graduate Catalog | 2017-2018 Previous Edition

Add to Catalog Bookmarks (opens a new window)

ITCS 8171 - Logic Programming


Prolog programming language; programming techniques in Prolog; foundations of logic programming including computability of Horn clause logic, completeness of resolution principle, complexity of unification algorithms, and verification of logic programs; principles of implementing logic programming systems; selected topics from applications of logic programming to expert systems, intelligent database systems, and/or natural language processing.

Credit Hours: (3)
Prerequisite(s): ITCS 8150  or permission of instructor.
Most Recently Offered (Day): Course has not been offered at this time in the past 3 years
Most Recently Offered (Evening): Course has not been offered at this time in the past 3 years


Schedule of Classes




Add to Catalog Bookmarks (opens a new window)