• DocumentCode
    279075
  • Title

    A Prolog coprocessor for superconductors

  • Author

    Chu, Yaohan ; Itano, Kozo

  • Author_Institution
    Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA
  • Volume
    i
  • fYear
    1991
  • fDate
    8-11 Jan 1991
  • Firstpage
    134
  • Abstract
    Presents the Prolog coprocessor for directly executing the Prolog program in a supercomputer. The coprocessor performs logic inferences.There are a five-stage pipeline, five separate cache memories, a hardware hashing unit, hardware stacks and queues, and others; they contribute to the parallel/concurrent operations of searching, tracking, unification, and backtracking in logic inferences
  • Keywords
    PROLOG; multiprocessing systems; satellite computers; Prolog coprocessor; logic inferences; supercomputer; Coprocessors; Databases; Educational institutions; Floating-point arithmetic; Hardware; Inference algorithms; Logic; Pipelines; Supercomputers; Superconductivity;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System Sciences, 1991. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on
  • Conference_Location
    Kauai, HI
  • Type

    conf

  • DOI
    10.1109/HICSS.1991.183879
  • Filename
    183879
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=279075