文档介绍：MEMORY PERFORMANCE OF PROLOG ARCHITECTURES
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING PUTER SCIENCE
FRONTIERS IN LOGIC PROGRAMMING ARCHITECTURE
AND MACHINE DESIGN
Consulting Editor
Doug DeGroot
'FRONTIERS IN LOGIC PROGRAMMING ARCHITECTURE AND MACHINE
DESIGN' is a unique collection of books describing closely related research subjects at
the forefront of logic programming architecture and machine design. Initially, the col•
lection will consist of the following books:
PARALLEL EXECUTION OF LOGIC PROGRAMS
by John Conery
A HIGH PERFORMANCE ARCHITECTURE FOR PROLOG
by T. P. Dobry
INDEPENDENT'AND'-PARALLELPROLOG
AND ITS ARCHITECTURE
by Manuel Hermenegildo
MEMORY PERFORMANCE OF PROLOG ARCHITECTURES
by Evan Tick
John Conery's seminal work at the University of California at Irvine presented the first
model for the parallel interpretation of logic programs called the AND/OR Process
Model. The same year Conery's work was published, John Warren wrote a landmark
paper describing an abstract sequential architecture for Prolog. These two works
spawned research efforts throughout the world. One of the largest of these was led by T.
P. Dobry at the University of California at Berkeley whose efforts resulted in the design
of the Programmed Logic Machine which was the first high-performance Prolog
engine. At the same time, at the University of Texas at Austin, Manuel Hermenegildo
designed a truly efficient parallel execution model and multiprocessor architecture for
logic programming which was the first practical realization of Conery's framework. At
Stanford University, Evan Tick designed and measured anizations suitable
for both Warren's sequential and Hermenegildo's parallel architectures.
This collection of books is designed to provide up-to-date information on Logic Pro•
gramming Architecture and Machine Design in a timely fashion to researchers and
students in the most timely manner possible.
MEM