May 30, 2020  
University Catalog 2013-2014 (ARCHIVED CATALOG) 
    
University Catalog 2013-2014 (ARCHIVED CATALOG) [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 332L - Logic Programming


(2)
Prerequisite: CS 203. Programming in a non-procedural logic programming language such as Prolog. Programming in a language that supports unification and backtracking and in which the execution of a program is the search for values that satisfy a declarative specification.



Add to Portfolio (opens a new window)