A page listing the prolog code that is available 6 October
The Assignment page has changed. 13 October
A page on Propositional Logic 14 october
First oreder logic
Brief Notes on Inference
The fourth assignment is available 6 November
Return to UG AI home page
Last Changed: 6 October 1995