Programming in Higher-Order Logic

ANU Logic Summer School

Slides

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

Codes

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

Compile:

$ tjcc difflist
$ tjlink difflist

and run:

$ tjsim difflist