Table of Contents

Part 1 Logic programs: basic constructs; database programming; recursive programming; the computation model of logic programs; theory of logic programs. Part 2 The Prolog language: pure Prolog; programming in pure Prolog; arithmetic; structure inspection; meta-logical predicates; cuts and negation; extra-logical predicates; program development. Part 3 Advanced Prolog programming techniques: nondeterministic programming; incomplete data structures; second-order programming; interpreters; program transformation; logic grammars; search techniques. Part 4 Applications: game-playing programs; a credit evaluation expert system; an equation solver; a compiler. Appendix: operators.

About the Author

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990). Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science.