• DocumentCode
    3052904
  • Title

    Design and implementation of a parallel logic programming system

  • Author

    Shouren, Hu ; Yaoqing, Gao ; Zhiyi, Hwang ; Yungui, Ci

  • Author_Institution
    Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
  • fYear
    1990
  • fDate
    6-9 Nov 1990
  • Firstpage
    511
  • Lastpage
    518
  • Abstract
    A parallel logic programming system which includes a precompiler, a compiler, and an execution system is presented. An annotated parallel language which is a parallel extension of Prolog is introduced. The techniques used in the precompile phase, such as abstract interpretation and the CAAP (compiling approach for exploiting AND-parallelism) scheme, are described. An optimized compiler, the RAP/LOP (restricted AND-parallelism and limited OR-parallelism) parallel execution model, and the execution system are presented
  • Keywords
    PROLOG; logic programming; parallel programming; program compilers; CAAP; Prolog; RAP/LOP; abstract interpretation; annotated parallel language; compiler; execution system; parallel execution model; parallel logic programming system; precompiler; Computer science; Data analysis; Logic programming; Optimizing compilers; Parallel languages; Program processors; Runtime; Tellurium;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
  • Conference_Location
    Herndon, VA
  • Print_ISBN
    0-8186-2084-6
  • Type

    conf

  • DOI
    10.1109/TAI.1990.130390
  • Filename
    130390
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3052904