The Practice of PrologAddressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instruction in order to extend them to full programming projects. It shows how to design and organize moderate to large Prolog programs, providing a collection of eight programming projects, each with a particular application, and illustrating how a Prolog program was written to solve the application. These range from a simple learning program to designing a database for molecular biology to natural language generation from plans and stream data analysis. Leon Sterling is Associate Professor in the Department of Computer Engineering and Science at Case Western Reserve University. He is the coauthor, along with Ehud Shapiro, of The Art of Prolog. Contents: A Simple Learning Program, Richard O'Keefe. Designing a Prolog Database for Molecular Biology, Ewing Lusk, Robert Olson, Ross Overbeek, Steve Tuecke. Parallelizing a Pascal Compiler, Eran Gabber. PREDITOR: A Prolog-Based VLSI Editor, Peter B. Reintjes. Assisting Register Transfer Level Hardware Design, Paul Drongowski. Design and Implementation of a Partial Evaluation System, Arun Lakhotia, Leon Sterling. Natural Language Generation from Plans, Chris Mellish. Stream Data Analysis in Prolog, Stott Parker. |
What people are saying - Write a review
We haven't found any reviews in the usual places.
Contents
Prototyping Databases in Prolog | 1 |
A Prologbased VLSI Editor | 31 |
Developing a Portable Parallelizing Pascal Compiler | 109 |
a Prolog Partial Evaluation System | 137 |
Generating Natural Language Explanations from Plans | 181 |
A Simple Learning Program | 225 |
Stream Data Analysis in Prolog | 249 |
Other editions - View all
Common terms and phrases
action algorithm application argument atom attributes called cell chromosome circuit clause compiled complex component Computer Science contains coroutining cost cursor database DBMS defined definition delete described developed display editing editor elements entities entity-relationship model example execution Figure function identifier infix_op infix_op infix_op input instance interface interpreter goal iterations language lazy evaluation Log(F logic programming matches meta-argument module multiprocessor object program operation output parse tree partial evaluation performed phrase PPPC predicate primitive problem procedure Prolog goals Prolog implementations Prolog programs Prolog systems pronoun query recursive register transfer register transfer level relation represent representation residue result rewrite Richard O'Keefe rules sequence solution specific Speedup SPMD stream data analysis stream processing strings structure Subnet symbolic syntactic tail recursive terminal TrainingSet transducers transformation transistor translation unfolding unification variables verb VLSI VMMP Width wire
References to this book
All Book Search results »