Back to the FAQ / Home
Is there any course material available for lambda Prolog?

Leavens's course

Gary Leavens used lambda Prolog in his course on Programming Languages. His course material no longer seems available via the web.

Nadathur's course

Gopalan Nadathur prepared this outline to a course he gave on ``Higher-Order Logic Programming''in Munich during the summer of 1995.

Miller's course

Dale Miller presented a third year undergraduate course titled ``CSE 360: Logic and Computation'' during Spring 1995. Part of that course was on lambda Prolog. See the syllabus covering part of that class.

If you have written course material that could be listed here, please contact dale.miller @
Back to the FAQ / Home