| |
Dec 26, 2024
|
|
|
|
|
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)
|
|
