The Practice of Prolog

Front Cover
Leon Sterling
MIT Press, 1990 - Computers - 312 pages
0 Reviews
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.

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
Copyright

Other editions - View all

The Practice of Prolog
Leon Sterling
No preview available - 1990
The Practice of Prolog
Leon Sterling
No preview available - 1990

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

Logic for Applications
Anil Nerode,Richard Shore
Limited preview - 1997
Tencon, Volumes 1-5
Baozong Yuan,IEEE Region 10,IEEE Singapore Section,Institute of Electrical and Electronics Engineers. Delhi Section,S. C. Dutta Roy,Tony K. Y. Chan,Institute of Electrical and Electronics Engineers. Beijing Section,Institute of Electrical and Electronics Engineers. India Council,Institute of Electrical and Electronics Engineers. Korea Council,Queensland University of Technology. School of Electrical and Electronic Systems Engineering,IEEE Power Engineering Society,National University of Singapore,University of Queensland,Institute of Electrical and Electronics Engineers,Nanyang Technological University. School of Applied Science,Griffith University,Institute of Electrical and Electronics Engineers. Victoria Section
Snippet view - 1991
All Book Search results »

About the author (1990)

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of "The Art of Prolog" (second edition, MIT Press, 1994) and the editor of "The Practice of Prolog" (MIT Press, 1990).

Bibliographic information

QR code for The Practice of Prolog
TitleThe Practice of Prolog
Logic programming
MIT Press Series in Logic Programming
EditorLeon Sterling
Editionillustrated
PublisherMIT Press, 1990
ISBN0262193019, 9780262193016
Length312 pages
Subjects ›  › 

Computers / Programming Languages / General
  
Export CitationBiBTeX EndNote RefMan