• 综合性科技类中文核心期刊
    • 中国科技论文统计源期刊
    • 中国科学引文数据库来源期刊
    • 中国学术期刊文摘数据库(核心版)来源期刊
    • 中国学术期刊综合评价数据库来源期刊
Nie Wenying, Liu Chunnian, Wang Nianyong. BPU-SPAR: A Parallel Prolog System[J]. Journal of Beijing University of Technology, 1997, 23(3): 83-90.
Citation: Nie Wenying, Liu Chunnian, Wang Nianyong. BPU-SPAR: A Parallel Prolog System[J]. Journal of Beijing University of Technology, 1997, 23(3): 83-90.

BPU-SPAR: A Parallel Prolog System

More Information
  • Received Date: June 02, 1996
  • Available Online: August 08, 2022
  • Published Date: September 09, 1997
  • BPU-SPAR system is a stream AND parallel Prolog system which is implemented on SUN workstation, based on BPU-Prolog system. It inherits the structure-sharing mechanism of BPU-Prolog, and yet the execution speed is comparable with the PARLOG based on WAM. BPU-SPAR provides the framework in which a parallel CLP(Constraint Logic Programming) system is being developed. This paper presents the implementation and optimization techniques used in BPU-SPAR.
  • Related Articles

    [1]WU Shuicai, LIU Ju, ZHANG Yubo, GAO Hongjian. Ex vivo Experiment and Finite Element Simulation of Microwave Ablation on Lung Tissue[J]. Journal of Beijing University of Technology. DOI: 10.11936/bjutxb2023060026
    [2]GAO Hongjian, WANG Xiaoru, WU Shuicai, ZHOU Zhuhuang, BAI Yanping, GUO Peixin. Finite Element Modeling of Temperature Distribution During Temperature-controlled Radiofrequency Ablation of Liver Tumor[J]. Journal of Beijing University of Technology, 2020, 46(1): 75-81. DOI: 10.11936/bjutxb2018070026
    [3]LU Yu-lin, CHEN Xiao-ran, DING Jin-li. Analysis of Concrete Temperature in Early Age With Field Test and Numerical Simulation Methods[J]. Journal of Beijing University of Technology, 2013, 39(12): 1843-1848.
    [4]QIN Fei, REN Chao. Finite Element Simulation of PoP Assembly Process[J]. Journal of Beijing University of Technology, 2012, 38(3): 330-334.
    [5]CHEN Yong-xiong, LIANG Xiu-bing, LIU Yan, CHENG Jiang-bo, XU Bin-shi. Optical Design of Wire Arc Spray Gun Based on Finite Element Modeling[J]. Journal of Beijing University of Technology, 2011, 37(2): 253-259.
    [6]YE Le-zhi, LI De-sheng. Eddy Current Field Analysis in Permanent Magnet Retarder Based on Finite Element Method[J]. Journal of Beijing University of Technology, 2010, 36(12): 1613-1617.
    [7]YANG Yan-fang, CHEN Ding-fang, CENG Yan-jun, ZHANG Bo. Simulation of Corneal Tissue Mechanical Deformation Based on the Finite Element Method[J]. Journal of Beijing University of Technology, 2008, 34(1): 85-89.
    [8]YU Jian-gong, WU Bin, HE Cun-fu. The Finite Element Simulation of a Longitudinal Defect Detection in an Anisotropic Cylindrical Curved Plate by Guided Circumferential Waves[J]. Journal of Beijing University of Technology, 2007, 33(6): 567-571.
    [9]Li Junqin, Zheng Yi, Fei Renyuan. Finite Element Analysis of Offset Press Fountain and its Structure Modification Prediction[J]. Journal of Beijing University of Technology, 1998, 24(2): 97-101.
    [10]Xu Feng, Hu Peiqing, Yang Huizhen. Computer Graphic Processing for Seawater Temperature Data by the Finite Element Method[J]. Journal of Beijing University of Technology, 1993, 19(3): 61-68.

Catalog

    Article views (198) PDF downloads (42) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return