A Prolog Machine Based on VLSI Algorithms.

Saved in:
Bibliographic Details
Title: A Prolog Machine Based on VLSI Algorithms.
Authors: Shobatake, Yasuro1, Aiao, Rideo1
Source: Systems & Computers in Japan. Feb89, Vol. 20 Issue 2, p15-24. 10p.
Subjects: Very large scale circuit integration, Systolic array circuits, Algorithms, Electronics, Transputers
Abstract: This paper proposes a Prolog direct executer called PMV-2. to alleviate the von Neumann bottleneck, PMV-2 is provided with a number of processing elements, each of which stores a term symbol. Using the processing elements, the operations for terms can be executed in parallel. To simplify the algorithm for mapping the tree-structured data onto processing elements, data are represented by a format called symbol-line expression. Tree-structured data with this expression are mapped onto an array which has a straight-line arrangement I or processing elements. The configuration of the tree-structured data on the processing element array can be modified using the methods called Partial Global Commication and Partial Shift. To Implement a large number of processing elements, PMV-2 is constructed based on the VLSI algorithms. A performance evaluation has been made, revealing that the processing speed of approximately 450 kLips is obtained by PMV-2, which is nearly the same as that of a presently available high-speed Prolog system with a compiler. [ABSTRACT FROM AUTHOR]
Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 14006877
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A Prolog Machine Based on VLSI Algorithms.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Shobatake%2C+Yasuro%22">Shobatake, Yasuro</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Aiao%2C+Rideo%22">Aiao, Rideo</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Systems+%26+Computers+in+Japan%22">Systems & Computers in Japan</searchLink>. Feb89, Vol. 20 Issue 2, p15-24. 10p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Very+large+scale+circuit+integration%22">Very large scale circuit integration</searchLink><br /><searchLink fieldCode="DE" term="%22Systolic+array+circuits%22">Systolic array circuits</searchLink><br /><searchLink fieldCode="DE" term="%22Algorithms%22">Algorithms</searchLink><br /><searchLink fieldCode="DE" term="%22Electronics%22">Electronics</searchLink><br /><searchLink fieldCode="DE" term="%22Transputers%22">Transputers</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: This paper proposes a Prolog direct executer called PMV-2. to alleviate the von Neumann bottleneck, PMV-2 is provided with a number of processing elements, each of which stores a term symbol. Using the processing elements, the operations for terms can be executed in parallel. To simplify the algorithm for mapping the tree-structured data onto processing elements, data are represented by a format called symbol-line expression. Tree-structured data with this expression are mapped onto an array which has a straight-line arrangement I or processing elements. The configuration of the tree-structured data on the processing element array can be modified using the methods called Partial Global Commication and Partial Shift. To Implement a large number of processing elements, PMV-2 is constructed based on the VLSI algorithms. A performance evaluation has been made, revealing that the processing speed of approximately 450 kLips is obtained by PMV-2, which is nearly the same as that of a presently available high-speed Prolog system with a compiler. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Systems & Computers in Japan is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=14006877
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1002/scj.4690200202
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 10
        StartPage: 15
    Subjects:
      – SubjectFull: Very large scale circuit integration
        Type: general
      – SubjectFull: Systolic array circuits
        Type: general
      – SubjectFull: Algorithms
        Type: general
      – SubjectFull: Electronics
        Type: general
      – SubjectFull: Transputers
        Type: general
    Titles:
      – TitleFull: A Prolog Machine Based on VLSI Algorithms.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Shobatake, Yasuro
      – PersonEntity:
          Name:
            NameFull: Aiao, Rideo
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb89
              Type: published
              Y: 1989
          Identifiers:
            – Type: issn-print
              Value: 08821666
          Numbering:
            – Type: volume
              Value: 20
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Systems & Computers in Japan
              Type: main
ResultId 1