UNIVERSITY CATALOG: 2017-2018

Course: COMP 410. Logic Programming (3)

Prerequisites: COMP 333, COMP 282, COMP 310; Attempted Upper Division Writing Proficiency Exam. Programming techniques in the logic programming language PROLOG. Prenex conjunctive normal form and grammatical algorithms. Tableaux, sequenzen, resolution and other semi-decision procedures. Closures of relations, fixed point theory, control mechanisms, relationship to functional programming.

Spring-2018 - Schedule of Classes

COMP 410

Class NumberLocationDayTime

Fall-2017 - Schedule of Classes

COMP 410

Class NumberLocationDayTime