Since mathematical notation in elementary set theory and first-order logic is the standard notation in Artificial Intelligence, and in particular for Knowledge Representation, there is also a natural connection between the notation for A.I. and related programming languages, in particular Lisp, functional programming languages, and logic programming languages such as Prolog. We have taught Lisp together with A.I. in our course at Linköping university, and the following are links to the course materials that we have used there. This page is a placeholder; it is intended to extend it with additional material in due time.
The basics of the Lisp programming language are found in the List Processing document and in John Olsson's microtutorial on Lisp. These texts, together with the lecture presentations ("powerpoints") may serve as an introduction for the student without any previous knowledge of Lisp or functional programming languages.
The primary literature for the Lisp part of the course will therefore be an online tutorial at Simon Fraser University which has an appropriate level of detail. For literature that provides full coverage of the language, the following are some good conventional texts about CommonLisp:
Links to web resources:
It is intended to add further reading advise here.
It is intended to add further reading advise here.