Ivan Bratko.
Prolog Programming for Artificial Intelligence.
Addison-Wesley. 1986
(read but not reviewed)
Prolog – the logic programming language central to Fifth Generation computers –
is now recognized as a powerful vehicle for non-numeric programming.
This book provides a detailed account of the language and its applications in Artificial Intelligence.
Part One introduces Prolog as a practical programming tool, and shows how Prolog programs are developed. Part Two demonstrates the power of Prolog applied in some central areas of AI, including
• Problem solving and heuristic search
• Expert systems
• Game playing
• Pattern-directed systems
Fundamental AI techniques are developed in depth towards their implementation in Prolog, resulting in complete Prolog programs.