Mar 28, 2024  
University Catalog 2015-2016 (Final Quarter Catalog) 
    
University Catalog 2015-2016 (Final Quarter 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)