Table Of Contents - 5th Edition [up full]
PART VI LANGUAGES AND PROGRAMMING TECHNIQUES FOR ARTIFICIAL INTELLIGENCE 635
15 AN INTRODUCTION TO PROLOG 641
15.1 Syntax for Predicate Calculus Programming 642
15.2 Abstract Data Types (ADTs) in PROLOG 654
15.3 A Production System Example in PROLOG 658
15.4 Designing Alternative Search Strategies 663
15.6 PROLOG: Meta-Predicates, Types, and Unification 671
15.7 Meta-Interpreters in PROLOG 679
15.8 Learning Algorithms in PROLOG 694
15.9 Natural Language Processing in PROLOG 704
15.10 Epilogue and References 716
16 AN INTRODUCTION TO LISP 723
16.1 LISP: A Brief Overview 724
16.2 Search in LISP: A Functional Approach to the Farmer, Wolf, Goat, and Cabbage Problem 746
16.3 Higher-Order Functions and Procedural Abstraction 751
16.4 Search Strategies in LISP 755
16.5 Pattern Matching in LISP 759
16.6 A Recursive Unification Function 761
16.7 Interpreters and Embedded Languages 765
16.8 Logic Programming in LISP 767
16.9 Streams and Delayed Evaluation 776
16.10 An Expert System Shell in LISP 780
16.11 Semantic Networks and Inheritance in LISP 787
16.12 Object-Oriented Programming Using CLOS 791
16.13 Learning in LISP: The ID3 Algorithm 803