Implementations of Distributed Prolog PDF
Preview Implementations of Distributed Prolog
IMPLEMENTATIONS OFD ISTRIBUTED PROLOG G?) WILYE SERIINEPA SR ALCLOEMLP UTING SEREIDEIST ORS: A.BGa.Ob rbe,Gg roandC ueanUttSeeA r, J.W. deB akCkeenrtv,roWu oimrs keunln ndfeo rmatica, ThNee therlands M. HennUensisvoeySfr,u s siUstKey x , R. OldeChooleoSftrta,Uadn toie v UeSrsAi ty, D. SimpBsrioPgnoh,lt oytneU cKh nic, Carey (ed.): Parallel Supercomputing: Methods, Algorithms and Applications de Bakker (ed.): Languages for Parallel Architectures: Design, Semantics, Implementation Models Axford: Concurrent Programming: Fundamental Techniques for Real-Time and Parallel Software Design Gelenbe: Multiprocessor Performance Treleaven (ed.): Parallel Computers: Object-oriented, Functional, Logic Williams: Programming Models for Parallel Systems Raynal and Helary: Synchronization and Control of Distributed Systems and Programs Eliens: DLP-A Language for Distributed Logic Programming: Design, Semantics and Implementation Kacsuk and Wise (eds): Implementations of Distributed Prolog IMPLEMENTATIONS OFD ISTRIBUTED PROLOG Editbeyd PetKearc suk KFKI Research Institute for Measurement and Computing Techniques, Hungary and MichaWeils e University of Sydney, Australia JOHN WILEY & SONS Chichester · New York · Brisbane · Toronto · Singapore Copyright © 1992 by John Wiley & Sons Ltd. Baffins Lane, Chichester West Sussex PO19 1UD, England All rights reserved. No part of this book may be reproduced by any means, or transmitted, or translated into a machine language without the written permission of the publisher. Other Wiley Editorial Offices John Wiley & Sons, Inc., 605 Third Avenue, New York, NY 10158-0012, USA Jacaranda Wiley Ltd, G.P.O. Box 859, Brisbane, Queensland 4001, Australia John Wiley & Sons (Canada) Ltd, 22 Worcester Road, Rexdale, Ontario M9W lLl, Canada John Wiley & Sons (SEA) Pte Ltd, 37 Jalan Pemimpin 05-04, Block B, Union Industrial Building, Singapore 2057 BritiLsihb raCrya talogiunPi unbgli catDiaotna A catalogue record for this book is available from the British Library ISBN O 471 93116 0 Printed and bound in Great Britain by Courier International Limited, East Kilbride, Scotland Contents Foreword xi List of Contributors xviv PART I OR-PARALLEL IMPLEMENTATIONS OF PROLOG 1 1 OR-Parallel Logic Computational Models 3 S. A. Delgado-Rannauro l. Concepts and methods 3 2. The shared binding environment family 6 3. The closed binding environment family 16 4. Recomputation family 20 5. Summary 24 Acknowledgements 26 2 Parallel Prolog on a Scalable Multiprocessor 27 S. Raina, D. H. D. Warren and J. Cownie l. Introduction 27 2. Parallel Prolog implementations 28 3. MIMD multiprocessors 29 4. Related work on scalable architectures 30 5. The Data Diffusion Machine 31 6. A Transputer-based emulation of the DOM 32 7. Aurora and Andorra-I on the DDM emulator 41 8. Conclusion and future work 43 Acknowledgements 44 3 OPERA: OR-Parallel Prolog System on Supernode 45 J. Briat, M. Favre, C. Geyer and J. Chassin de Kergommeaux l . Introduction 45 2, Architecture of the Supernode 47 3. The OPERA computational model 48 4. Scheduling of work 54 5. Implementation and preliminary results 59 6. Related work 61 7. Conclusion 63 Acknowledgements 63 vi CONTENTS 4 A DistriIbnutteerdpf roIernt heerr AeNnDt/ OPRa ralle6l5i sm M. Avvenuti, P. Corsini and G. Frosini 1. Introduction 65 2. The parallel execution model 66 3. Implementing the interpreter 72 4. Performance evaluation 79 5. A model optimization 83 6. Conclusions and future work 85 Appendix 1: The benchmark programs 86 5 DistriDbauttDaer di vPerno lAobgs trMaaccth ine 89 P. Kacsuk 1. Introduction 89 2. Graph representation of Prolog programs 90 3. Parallel execution 92 4. General view of the 3DPAM 97 5. Machine registers and data structures 98 6. Abstract instruction set 101 7. Variable binding 112 8. Comparison with related research 115 Conclusions 117 Acknowledgements 118 PARITI A ND-ANDA ND/OR-PARALLEL IMPLEMENTAOTFIP ORNOSL OG 119 6 RestrAiNcDt-aendd A ND/OR-PaLroaglilce l ComputatMioodnealls 121 S. A. Delgado-Rannauro 1. Restricted AND-Parallel logic models 121 2. AND/OR-Parallel logic models 132 3. Summary 140 Acknowledgements 141 7 AnA ND-ParDailslterli PbruotlEeoxdge cutor 143 A. Verden and H. Glaser 1. Introduction 143 2. An example execution 145 3. Communicating variable bindings 146 4. The Execution scheme 147 5. Clause level intelligent backtracking 151 6. Evaluation of our implementation 153 7. Conclusions 156 Appendix 157 CONTENTS vii 8 The OPAL Machine 159 J. S. Conery 159 1. Background: OPAL and the AND/OR model 165 2. Modules of an OPAL implementation 161 3. Control: processes and continuations 179 4. Unification: closed environments 171 181 5. Performance 182 6. Acknowledgements 7. The OM instruction set 9 The Reduce-OR Process Model for Parallel Logic Programming on Non-shared Memory Machines 187 L. V. Kale and B. Ramkumar 188 1. Introduction 187 191 2. The Reduce-OR process model 205 3. The Binding environment 207 4. Compiled execution 5. Performance 6. Summary 212 10 An Actor-oriented Computer for Logic and its Applications 213 C. Percebois, N. Signes and L. Selle 213 215 1. Committed-choice languages vs non-deterministic systems 2. The COALA goal rewriting system 3. Implementation of the parallel execution model 219 227 4. Independent AND-Parallelism 223 5. SEARCH-Parallelism 6. The CIAM abstract machine 228 235 · 7. Preliminary results 234 235 Summary and conclusion Acknowledgements PART Ill COMMITTED CHOICE LANGUAGES 237 11 Stream AND-Parallel Logic Computational Models 239 S. A.D elgado-Rannauro 1. Concepts 239 246 2. CCND languages 241 256 3. Architectural models for CCN D languages 257 4. Summary Acknowledgements
The list of books you might like
