Programming in Higher-Order Logic

ANU Logic Summer School, 7 -- 18 December 2009


Lecture 1 Lecture 2, Lecture 3, Lecture 4, Lecture 5. Course notes


All codes used in the course are written in lambda-Prolog. They have been tested using the Teyjus compiler for lambda-Prolog.

How to run the codes


$ tjcc difflist
$ tjlink difflist

and run:

$ tjsim difflist