The Practice of Prolog
MIT Press, 1990 - Computers - 312 pages
Addressed 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.
Prototyping Databases in Prolog
A Prologbased VLSI Editor
Developing a Portable Parallelizing Pascal Compiler
a Prolog Partial Evaluation System
Generating Natural Language Explanations from Plans
A Simple Learning Program
Stream Data Analysis in Prolog
Other editions - View all
achieve action actual analysis application argument attributes called cell changed circuit Class clause compiled complex component Computer construct contains cost cover creates database defined definition described developed display editing editor elements entities example execution expression fact Figure function given goal identifier implementation input instance interface interpreter language logic loop matches module natural object object program operation output parallel parse partial evaluation performed phrase position possible PPPC predicate presented primitive problem procedure produce Prolog pronoun provides query recursive reduce relation relationship represent representation residue result rules sequence share simple single solution specific statement stream processing structure Subnet symbolic terminal transducers transformation translation tree true unfolding variables write