Computer Science 218 and 318
Higher-Order Logic Programming

[back] Department of Computer Science
[] The University of Chicago






Course Description

The topic of discussion will be the notion of higher-order logic programming as embodied in the language lambdaProlog. We will present the language, explain the logical theory underlying it, examine its applications and discuss issues relevant to its implementation. Topics to be covered include the following: An implementation of lambdaProlog will be available for experimentation during the course. The required work will include some combination of assignments, a term paper and exams. (Details to be announced in the second week of the quarter.)


Last modified: October 3, 2000 by gopalan@cs.umn.edu