Math 254, ComSci 277 or consent of instructor. Programming knowledge not required.
Predicate logic is a precise logical system developed to formally express mathematical reasoning.
Prolog is a computer language intended to implement a portion of predicate logic. This course covers both predicate logic and Prolog, presented to complement each other and to illustrate the principles of logic programming and automated theorem proving. Last Verified by Sharon Salveter on 23 April, 2001.