Special Issue: Computer Architecture and Systems

• Articles • Previous Articles     Next Articles

Parallel Execution of Prolog on Shared-Memory Multiprocessors

Gao Yaoqing; Wang Dingxing; Zheng Weimin; Shen Meiming;Huang Zhiyi; Hu Shouren; Giotto Levi;   

  1. Dept.of; Computer; Science; Technology; Tsinghua; University; Beijing; 100084; Changsha; Institute; Hunan; 410073; Dipartimento; Informatica; Universita; Pica.Corso; Italia; 1—56125; Pisa; Italy;
  • Online:1993-07-10 Published:1993-07-10

Logic programs offer many opportunities for the exploitation of parallelism.But the parallel execution of a task incurs various overheads This paper focuses on the issues relevant to parallelizing Prolog on shared-memory multiprocessors efficiently.

Key words: weakly connected environment; data replication; consistency; epidemic model; optimistic voting;

[1] B.Hausrnan, A.Ciepielewski and S.Haridi, OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors.Pros. 1987 Int'l Symp. on Logc Ptogtanuning, San Franasco, Calsfomia, IEEE.Sep,1987, pp.69-79.

[2] D.DeGroot, Restracted AND-Parallelism and Side Effects. Proc. of The 4th Int'l Symp. on Logic Prong, IEEE Computer Society, 1987, pp. 8l-89.

[3] M.V.Hermengildo, An Abstract Prolog Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Pnogarn in Program. Ph. D thesis, The University of Texas at Austin, 1986. ……….
[1] Ze-Lin Zhao, Di Huang, and Xiao-Xing Ma. TOAST: Automated Testing of Object Transformers in Dynamic Software Updates [J]. Journal of Computer Science and Technology, 2022, 37(1): 50-66.
[2] Hong-Rong Ouyang, Heng-Feng Wei, Hai-Xiang Li, An-Qun Pan, and Yu Huang. Checking Causal Consistency of MongoDB [J]. Journal of Computer Science and Technology, 2022, 37(1): 128-146.
[3] Rui-Xiang Ma, Fei Wu, Bu-Rong Dong, Meng Zhang, Wei-Jun Li, Chang-Sheng Xie. Write-Optimized B+ Tree Index Technology for Persistent Memory [J]. Journal of Computer Science and Technology, 2021, 36(5): 1037-1050.
[4] Lie-Huang Zhu, Bao-Kun Zheng, Meng Shen, Feng Gao, Hong-Yu Li, Ke-Xin Shi. Data Security and Privacy in Bitcoin System: A Survey [J]. Journal of Computer Science and Technology, 2020, 35(4): 843-862.
[5] Jing-Ya Zhou, Jian-Xi Fan, Cheng-Kuan Lin, Bao-Lei Cheng. A Cost-Efficient Approach to Storing Users' Data for Online Social Networks [J]. Journal of Computer Science and Technology, 2019, 34(1): 234-252.
[6] Xu-Ran Zhao, Xun Wang, Qi-Chao Chen. Temporally Consistent Depth Map Prediction Using Deep CNN and Spatial-temporal Conditional Random Field [J]. , 2017, 32(3): 443-456.
[7] Yue-Feng Du, De-Rong Shen, Tie-Zheng Nie, Yue Kou, Ge Yu. Content-Related Repairing of Inconsistencies in Distributed Data [J]. , 2016, 31(4): 741-758.
[8] Yuan-Chao Xu, Hu Wan, Ke-Ni Qiu, Tao Li, Wei-Gong Zhang. Reducing Synchronization Cost for Single-Level Store in Mobile Systems [J]. , 2016, 31(4): 836-848.
[9] Lengdong Wu, Liyan Yuan, Jiahuai You. Survey of Large-Scale Data Management Systems for Big Data Applications [J]. , 2015, 30(1): 163-183.
[10] Bo Wang, Ying-Fei Xiong, Zhen-Jiang Hu, Hai-Yan Zhao, Wei Zhang, and Hong Mei. Interactive Inconsistency Fixing in Feature Modeling [J]. , 2014, 29(4): 724-736.
[11] Bing-Qing Shao, Jun-Wei Zhang, Cai-Ping Zheng, Hao Zhang, Zhen-Jun Liu, Lu Xu . A Non-Forced-Write Atomic Commit Protocol for Cluster File Systems [J]. , 2014, 29(2): 303-315.
[12] Ke-Dian Mu (牟克典), Member, CCF, Weiru Liu, Zhi Jin (金芝), Senior Member, CCF, IEEE, Jun Hong, and David Bell. Managing Software Requirements Changes Based on Negotiation-Style Revision [J]. , 2011, 26(5): 890-907.
[13] Xin Wang, Student Member, CCF, Lin-Peng Huang, Senior Member, CCF, Yi Zhang, Xiao-Hui Xu, Student Member, CCF, and Jun-Qing Chen, Student Member, CCF. A Solution of Data Inconsistencies in Data Integration --- Designed for Pervasive Computing Environment [J]. , 2010, 25(3): 499-508.
[14] Zu-Song Li, Dan-Dan Huan, Wei-Wu Hu, and Zhi-Min Tang. Chip Multithreaded Consistency Model [J]. , 2008, 23(2): 298-ver .
[15] Yi-Song Wang, Ming-Yi Zhang, and Yu-Ping Shen. Consistency Property of Finite FC-Normal Logic Programs [J]. , 2007, 22(4): 554-561 .
Full text



[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved