caa a22 4500 467988641 CHVBK 20180323112538.0 cr unu---uuuuu 170328e19900801xx s 000 0 eng 10.1007/BF03037472 doi (NATIONALLICENCE)springer-10.1007/BF03037472 Introduction of dosim predicate to Prolog [Elektronische Daten] [Yukio Kaneda, Hideo Matsuda, Katsuki Akiyoshi] This paper proposes a predicate nameddosim which provides a new function for parallel execution of logic programs. The parallelism achieved by this predicate is a simultaneous mapping operation such as bagof and setof predicates. However, the degree of parallelism can be easily decided by arranging the arguments of the dosim goal. The parallel processing system with dosim was realized on a tight-coupled multiprocessor machine. To control the degree of parallelism and reduce the amount of memory required for execution, we introduce the grouping method for the goals executed in parallel and some variations of the dosim predicate. The effectiveness of the proposed method is demonstrated by the results of the execution of several applications. Ohmsha, Ltd. and Springer, 1990 Logic Programming nationallicence Parallel Processing nationallicence Prolog nationallicence WAM Code nationallicence Language Implementation nationallicence Kaneda Yukio Department of Systems Engineering, Faculty of Engineering, Kobe University, Rokkodai, 657, Nada, Kobe, Japan aut Matsuda Hideo Department of Systems Engineering, Faculty of Engineering, Kobe University, Rokkodai, 657, Nada, Kobe, Japan aut Akiyoshi Katsuki System Software Development Dept., Workstation P. B. U., Fuji Xerox Co., Ltd., Iwatsuki, Saitama, Japan aut New Generation Computing Springer-Verlag 8/2(1990-08-01), 163-181 0288-3635 8:2<163 1990 8 354 https://doi.org/10.1007/BF03037472 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF03037472 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Kaneda Yukio Department of Systems Engineering, Faculty of Engineering, Kobe University, Rokkodai, 657, Nada, Kobe, Japan aut NATIONALLICENCE 700 1- Matsuda Hideo Department of Systems Engineering, Faculty of Engineering, Kobe University, Rokkodai, 657, Nada, Kobe, Japan aut NATIONALLICENCE 700 1- Akiyoshi Katsuki System Software Development Dept., Workstation P. B. U., Fuji Xerox Co., Ltd., Iwatsuki, Saitama, Japan aut NATIONALLICENCE 773 0- New Generation Computing Springer-Verlag 8/2(1990-08-01), 163-181 0288-3635 8:2<163 1990 8 354 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer