May 27, 2018  
Undergraduate/Graduate Catalog 2014-2015 
    
Undergraduate/Graduate Catalog 2014-2015 [ARCHIVED CATALOG] See drop-down menu above to access other catalogs.

COMP 565 - Logic Programming

(3 credits)
Prerequisite: Admission to the MS program in Computer Science or consent of instructor
This course is an introduction to first order predicate logic as a problem-solving tool. Logic programming languages such as PROLOG are studied along with applications of logic programming to mathematics fields, natural language processing and law.