The Practice of Prolog

Transcription

1 The Practice of Prolog Edited by Leon S. Sterling The MIT Press Cambridge, Massachusetts London, England

2 List of Figures List of Tables The Authors Introduction 1 Prototyping Databases in Prolog 1 T. Kazic, E. Lusk, R. Olson, R. Overbeek and S. Tuecke 1.1 Introduction Designing a Prolog Database Creating the Entity-Relationship Model Specifying the Relational Representation Implementation in Prolog A More Advanced Example An Entity-Relationship Model for a Library The Relational Representation for the Library Database Implementing the Library Database in Prolog A Database to Support Molecular Biology New Problems in Computational Biology Levels of Data Implementing the Database Summary Background 29 2 PREDITOR : A Prolog-based VLSI Editor 31 Peter B. Reintjes 2.1 Introduction Overview Design Representation Graphical Display Editing 37

3 2.3 The Coordinate System The Transformation Matrix Hierarchy Flattening The Graphical Interface Drawing Predicates Interactive Graphics The Editor Edit Operations Hierarchy Control The Editing Loop Alternate Implementation Conclusion Background 71 3 Assisting Register Transfer Level Hardware Design: A Prolog Application 73 Paul J. Drongowski 3.1 Introduction Graphical Design Language Two Implementations CGDP Agent Design Relations Modules and Subnets Behavioral Representation Structural Representation Physical Representation Components Algorithms and Code Register Transfer Parsing Datapath Sufficiency Current and Power Estimation 101

4 3.6 Commentary Background Developing a Portable Parallelizing Pascal Compiler in Prolog 109 Eran Gabber 4.1 Introduction and Background PPPC Usage PPPC Operation TAU-Pascal VMMP Services Parallelization Rules Run Time Prediction Code Generation Speedup Measurements Implementation Design Decisions PPPC Components Data Structures Front End Pass Semantic Check Pass Parallelizer Pass Code Generation Pass PPPC Implementation Statistics 4.5 Prolog as an Implementation Language Future Research Summary and Conclusions ProMiX: a Prolog Partial Evaluation System 137 Arun Lakhotia and Leon Sterling Introduction 137

5 5.2 The Principle of Partial Evaluation Example Issues in Partial Evaluation Generating Residues Controlling Unfolding Collecting Residues Rewriting Goals 144 System Architecture Mix Rewrite Driver Knowledge Base Property of Predicates Declarations for Unfolding Rewrite Rules Declarations for Driver 5.10 How to Control Unfolding Working of an Interpreter An Observation Unfold Criteria Background Generating Natural Language Explanations from Plans 181 Chris Mellish 6.1 Introduction Plans Stages in Explaining a Plan Justifying the Steps Determining Explanation Structure Simplifying the Explanation 201

6 6.6 Manipulating Syntactic Structures Generating Syntactic Structures The Lexicon and Domain-dependence Linearisation and Output Background A Simple Learning Program 225 Richard O'Keefe 7.1 The Task A Trivial Implementation Simplifying the Problem Solving the Subproblem What does it Cost? Basing the Task on Lattices rather than Sets Explorations Conclusions Stream Data Analysis in Prolog 249 D. Stott Parker 8.1 Stream Data Analysis Basics of Stream Data Analysis Basic Stream Processing Kinds of Transducers Composing Transducers Stream Processing is more than List Processing The Stream Data Analysis Paradigm Limitations of Prolog for Stream Data Analysis Prolog Requires Lots of Memory 264

7 8.3.2 Prolog Lacks a String Datatype Stream Processing Requires Stack Maintenance Prolog's I/O Mechanisms are Inadequate Prolog's Control Mechanisms are Inadequate Prolog has an Impedance Mismatch with DBMS Summary: Problems and Solutions Log(F): A Rewriting System in Prolog Overview of F* and Log(F) F* - A Rewrite Rule Language Log(F): Integrating F* with Prolog Stream Processing Aspects of Log(F) Stream Processing in Prolog Implementing Transducers in Log(F) Basic Statistical Time Series Analysis Aggregate Computations Computing Medians and Quantiles Pattern Matching against Streams Connecting Prolog with Databases A Common Model for Prolog and DBMS Coupling Prolog and DBMS with Streams Implementation of Prolog-DBMS Coupling Background 299 Bibliography 303