Search Results

CSCI 336: Logic Programming

Students learn a widely-used style of programming based on first order predicate logic. Topics include declarative programming, Horn clauses, declarative and procedural semantics of logic programs, clauses as relations, goals, backtracking, and resolution. Programming projects and exercises use Prolog, the most significant logic programming language. Additional topics include the relationship of Prolog to logic and applications to artificial intelligence. Offered alternate years.
Prerequisite: CSCI 251 or permission of instructor.


...concentration. CSCI 253 Algorithms and Data Structures CSCI...psychology (e.g., PSYCH 336 Neuroscience of Addiction...