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. Offered periodically.