Mar 29, 2024  
2020-2021 Catalog 
    
2020-2021 Catalog [ARCHIVED CATALOG]

Add to My Favorites (opens a new window)

CS 455 - 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. May not be taken for credit by students who received credit for: CS 555 .

Prerequisite(s): CS 351 .



Add to My Favorites (opens a new window)