Why Prolog?
Subtitle: Justifying Logic Programming for Applications
By: Gregory L. Lazareu.
Publisher: Prentice Hall; Prentice Hall International
Published: 1989
Place of publication: Englewood Cliffs, N.J; London
Language: eng
Format: Paperback
Number of pages: 241
Subjects: Prolog (Computer program language)
Notes: Bibliography: p232-237. - Includes index.
Table of contents: title: TRADEMARKS
pagenum: ix; title: PREFACE
pagenum: xi; label: 1
pagenum: 1
title: PROBLEMS WITH CONVENTIONAL COMPUTING; label: 1.1
pagenum: 2
title: Language: WHAT and HOW; label: 1.2
pagenum: 6
title: Software Engineering: Executable Specifications; label: 1.3
pagenum: 10
title: Intelligent" Software; label: 1.4
pagenum: 13
title: What Are We Looking For?; label: 2
pagenum: 15
title: OVERVIEW OF PROLOG; label: 2.1
pagenum: 15
title: Syntax; label: 2.2
pagenum: 19
title: How To Say It in Prolog: The Declarative View; label: 2.3
pagenum: 27
title: How Prolog Computes: The Procedural View; label: 2.4
pagenum: 39
title: Recursive Data Structures and Programming: Lists and Trees; label: 2.5
pagenum: 46
title: Built-in Predicates; label: 3
pagenum: 56
title: IMPACT ON SOFTWARE DEVELOPMENT CLARITY, SIMPLICITY, PRODUCTIVITY; label: 3.1
pagenum: 56
title: Uniqueness of Prolog; label: 3.2
pagenum: 58
title: Conventional vs. Declarative Programming; label: 3.3
pagenum: 65
title: Procedural Techniques in Prolog; label: 3.4
pagenum: 72
title: Program Transformation; label: 3.5
pagenum: 74
title: Pragmatics; label: 3.6
pagenum: 82
title: How Does It Help?; label: 4
pagenum: 84
title: SELECTED AREAS OF APPLICATIONS; label: 4.1
pagenum: 84
title: Deductive Databases; label: 4.2
pagenum: 99
title: Problem Solving and Graphs Searching; label: 4.3
pagenum: 117
title: Natural Language; label: 4.4
pagenum: 125
title: Software Engineering; label: 5
pagenum: 134
title: KNOWLEDGE REPRESENTATION AND EXPERT SYSTEMS; label: 5.1
pagenum: 135
title: Metaprogramming; label: 5.2
pagenum: 136
title: Rule-based Systems; label: 5.3
pagenum: 149
title: Frames; label: 5.4
pagenum: 154
title: Object-oriented Programming; label: 6
pagenum: 160
title: REAL-WORLD APPLICATIONS; label: 6.1
pagenum: 161
title: AAL PS; label: 6.2
pagenum: 164
title: Syllog Manufacturing Prototype; label: 6.3
pagenum: 167
title: The British Nationality Act; label: 6.4
pagenum: 170
title: ALP Planner; label: 6.5
pagenum: 175
title: KARDIO-E; label: 6.6
pagenum: 176
title: Other Applications; label: A
pagenum: 182
title: MAIN CONCEPTS OF LOGIC PROGRAMMING; label: A.1
pagenum: 182
title: Logic and Computers: A Short History; label: A.2
pagenum: 184
title: Syntax; label: A.3
pagenum: 189
title: The Inference Process and Answer Extraction; label: A.4
pagenum: 195
title: Procedural Interpretation; label: B
pagenum: 205
title: LOGIC PROGRAMMING FEATURES AND EXTENSIONS; label: B.1
pagenum: 205
title: Fundamental Features of Logic Programs; label: B.2
pagenum: 211
title: Prolog as an Implementation of Logic Programming; label: B.3
pagenum: 214
title: Problems and Extensions; label: C
pagenum: 220
title: THE FIFTH GENERATION COMPUTER PROJECT; label: D
pagenum: 223
title: COMMERCIAL IMPLEMENTATIONS OF PROLOG; title: REFERENCES
pagenum: 232; title: INDEX
pagenum: 239