CSI107
|
|
N.B. Items in italics are (as yet) unrevised versions of 1997/8 lectures.
Jon Barwise, John Etchemendy, The Language of First Order Logic, CSLI Lecture Notes, 1993, 0-937073-99-7.
I. Bratko, Prolog Programming for Artificial Intelligence, Addison Wesley, 1990, ISBN 0-201-41606-9
W. Clocksin and C. Mellish, Programming in Prolog.