(The Kluwer International Series in Engineering and Computer Science 25) John S. Conery (auth.)-Parallel Execution of Logic Programs-Springer US (1987).pdf

PARALLEL EXECUTION OF LOGIC PROGRAMS
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING PUTER SCIENCE
PARALLEL PROCESSING
AND FIFTH PUTING
ConSUlting Editor
Doug DeGroot
PARALLEL EXECUTION OF
LOGIC PROGRAMS
by
John S. Conery
University of Oregon
WKAP ARCHIEF
.,~
KLUWER ACADEMIC PUBLISHERS
Boston/Dordrecht/Lancaster
Distributors for North America:
Kluwer Academic Publishers
lOl Philip Drive
Assinippi Park
Norwell, Massachusetts 02061, USA
Distributors for the UK and Ireland:
Kluwer Academic Publishers
MTP Press Limited
Falcon House, Queen Square
Lancaster LAI IRN, UNITED KINGDOM
Distributors for all other countries:
Kluwer Academic Publishers Group
Distribution Centre
Post Office Box 322
3300 AH Dordrecht, HERLANDS
Library of Congress Cataloging-in-Publication Data
Conery, John S.
Parallel execution of logic programming.
(The Kluwer international series in engineering and
computer science SEes 25)
Revision of the author's thesis (Ph. D.-University
of Oregon) originally presented under the title: The
AND/OR process model for parallel interpretation of logic
programs.
Bibliography: p.
Includes index.
I. Logic programming. 2. Parallel processing
(puters) I. Title. II. Series.
QA 1987 004' .35 86-27838
ISBN-13: 978-1-4612-9187-9 c-ISBN-13: 978-1-4613-1987-0
DOl: -1-4613-1987-0
Copyright © 1987 by Kluwer Academic Publishers
Softcover reprint of the hardcover 1 st edition 1987
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system
or transmitted in any form or by any means, mechanical, photocopying, recording, or other•
wise, without the prior written permission of the publisher, Kluwer Academic Publishers, 101
Philip Drive, Assinippi Park, Norwell, Massachusetts 02061.
This book was formatted by the author at the
University of Oregon, using the 'lEX document
preparation system (by D. E. Kn