• DocumentCode
    2987892
  • Title

    A multi-processor system for Prolog processing

  • Author

    Fu, H.C. ; Chen, C. ; Chung, C.P. ; Shann, J.J.J. ; Tsai, T.T. ; Chung, J.C. ; Cheng, R.L. ; Yang, S.C. ; Baw, S.J. ; Chiang, C.C.

  • Author_Institution
    Dept. of Comput. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
  • fYear
    1988
  • fDate
    7-10 Mar 1988
  • Firstpage
    60
  • Lastpage
    69
  • Abstract
    A RISC-based multiprocessor system called MIEP (Multiple Inference Engine for Prolog) is proposed as a tool to construct an intelligent workstation for AI applications. The MIEP contains general purpose processor modules (processor with local memory) and PIER (a Prolog inference engine on a RISC) modules interconnected by a bus. A PIER module contains a LISCP (limited instruction set computer for Prolog) as the kernel Prolog processor, a floating point coprocessor, FPC, and a cache memory. The PIER module has been simulated and evaluated with some benchmark programs. Primary results show that PIER can achieve a peak performance of more than 500 KLIPS. In addition, a parallel execution model for Prolog on MIEP has been studied and evaluated. Design issues and features of the MIEP system are presented
  • Keywords
    PROLOG; multiprocessing systems; reduced instruction set computing; LISCP; MIEP; Multiple Inference Engine for Prolog; Prolog processing; RISC-based multiprocessor system; artificial intelligence; cache memory; floating point coprocessor; general purpose processor modules; kernel Prolog processor; limited instruction set computer for Prolog; Application software; Artificial intelligence; Computer aided instruction; Coprocessors; Engines; Flexible printed circuits; Kernel; Multiprocessing systems; Reduced instruction set computing; Workstations;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Workstations, 1988., Proceedings of the 2nd IEEE Conference on
  • Conference_Location
    Santa Clara, CA
  • Print_ISBN
    0-8186-0810-2
  • Type

    conf

  • DOI
    10.1109/COMWOR.1988.4801
  • Filename
    4801