Information Technology Reference
In-Depth Information
Chapter 2 A Procedure for Thinking
[13]
Apostolos
Doxiadis
and
Christos
Papadimitriou.
Logicomix
.
New
York:
Bloomsbury Publishing, 2009.
[14]
Herbert B. Enderton.
A Mathematical Introduction to Logic
.
San Diego, CA:
Academic Press, 2001.
[15]
Elliott Mendelsohn.
Introduction to Mathematical Logic
.
5th ed.
London:
Chapman and Hall/CRC, 2009.
Chapter 3 The Prolog Language
[16]
Alain Colmerauer and Philippe Roussel. The birth of Prolog. In
History of
Programming Languages
, ed. Thomas Bergin Jr. and Richard Gibson Jr., 331-351,
New York: ACM Press, 1996.
[17]
Carl Hewitt. Planner: A language for proving theorems in robots. In
Proceedings
of the International Joint Conference on Artificial Intelligence
, Washington, DC, 1969,
295-301.
Chapter 4 Writing Prolog Programs
[18]
Kenneth A. Bowen.
Prolog and Expert Systems Programming
. New York: McGraw-
Hill, 1991.
[19]
Ivan Bratko.
Prolog Programming for Artificial Intelligence
.
3d ed.
Boston:
Addison-Wesley, 2000.
[20]
William F. Clocksin and Christopher S. Mellish.
Programming in Prolog
. 4th ed.
Berlin: Springer-Verlag, 1994.
[21]
Daniel Crookes.
Introduction to Programming in Prolog
.
Englewood Cliffs, NJ:
Prentice Hall, 1988.
[22]
Tony Dodd.
Prolog: A Logical Approach
. Oxford: Oxford University Press, 1990.
Chapter 5 Case Study: Satisfying Constraints
[23]
Steven A. Cook. The complexity of theorem-proving procedures. In
Proceedings
of the Third Annual ACM Symposium on Theory of Computing
, Shaker Heights,
Ohio, 1971, 151-158.