|
|
|
Dec 12, 2024
|
|
2016-2017 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 661 - Logic Programming 1College of Engineering and Computer Science
3 credit(s) Irregularly
Formal logic as a programming language. Use of theorem prover as interpreter for programming languages, particularly Horn clause systems. Representation of problem transformations of programs. Applications, including natural-language processing, database representation, and query and expert systems; extensions of Horn clause formalisms.
|
|
|