Next: About this document ...
Up: First-Order Logic Resolution Theorem
Previous: Summary
- 1
- Stuart Russel, ``Peter Norvig, Artificial Intelligence, A Modern Approach'',
Prentice-Hall. Inc. 1995
- 2
- Graham Hutton, Erik Meijer, ``Monadic Parser Combinator'', Technical
Report NOTICS-TR-96-4, Dept. of Computer Science, University of Nottingham,
1996
- 3
- L.C. Paulson, ``ML for the working programmer'', Cambridge University
Press 1991, 1996
- 4
- Paul Hudak, ``The Haskell School of Expression'', Cambridge University
Press 2000
- 5
- Mark P. Jones, ``Mini Prolog Version 1.5g - A Simple Prolog Intepreter'',
Hugs Demo library, 1991, 1996
Charles Chiou
2001-04-29