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
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
All Book Search results »