Dec 14, 2019  
2018-19 CATALOG 
    
2018-19 CATALOG [ARCHIVED CATALOG]

[Add to My Favorites]

CS 555 - Logic Programming

Units: 3
Declarative programming techniques: formal specification of the problem itself rather than of a solution algorithm. Survey of logic programming languages such as Prolog, applications, theoretical foundations propositional logic, predicate calculus, resolution, theorem proving, non-determinism, meta-programming.

Prerequisite(s): For undergraduates and enrollment requirement For graduate students: CS 351  and MATH 270  or 370.



[Add to My Favorites]