Design and performance measurements of an execution model for the parallel processing of Prolog programs

This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain parallelism, and parallel unification as fine-grain parallelism. At the coarse-grain parallelism level we propose an extended And-Or tree. C...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE First ICA³PP, IEEE First International Conference on Algorithms and Architectures for Parallel Processing, Brisbane, Australia, 19-21 April, 1995 Jg. 2; S. 650 - 658 vol.2
Hauptverfasser: Dong Wang, Kobayashi, H., Nakamura, T.
Format: Tagungsbericht
Sprache:Englisch
Japanisch
Veröffentlicht: IEEE 19.11.2002
Schlagworte:
Application software
Artificial intelligence
Design engineering
Expert systems
Logic programming
Machine intelligence
Parallel processing
Programming profession
Spatial databases
Systems engineering and theory
ISBN:9780780320185, 0780320182
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain parallelism, and parallel unification as fine-grain parallelism. At the coarse-grain parallelism level we propose an extended And-Or tree. Consequently, the tree can exploit high degree of parallelism from Prolog programs. Exploiting parallelism of Prolog programs is based an the binding-arrays method for Or-parallelism and the restricted And-parallelism (RAP) method for And-parallelism. At the fine-grain parallelism level, parallel unification is performed. In general, the parallel unification consists of parallel argument matching and consistency checking. However, since the RAP method does not need consistency checking, consistency checking at the fine-grain parallelism level is also removed. The measurements of the parallelism degree of this model are also to be presented in this paper.< >
AbstractList This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain parallelism, and parallel unification as fine-grain parallelism. At the coarse-grain parallelism level we propose an extended And-Or tree. Consequently, the tree can exploit high degree of parallelism from Prolog programs. Exploiting parallelism of Prolog programs is based an the binding-arrays method for Or-parallelism and the restricted And-parallelism (RAP) method for And-parallelism. At the fine-grain parallelism level, parallel unification is performed. In general, the parallel unification consists of parallel argument matching and consistency checking. However, since the RAP method does not need consistency checking, consistency checking at the fine-grain parallelism level is also removed. The measurements of the parallelism degree of this model are also to be presented in this paper.< >
Author Kobayashi, H.
Dong Wang
Nakamura, T.
Author_xml – sequence: 1
  surname: Dong Wang
  fullname: Dong Wang
  organization: Fac. of Eng., Tohoku Univ., Sendai, Japan
– sequence: 2
  givenname: H.
  surname: Kobayashi
  fullname: Kobayashi, H.
  organization: Fac. of Eng., Tohoku Univ., Sendai, Japan
– sequence: 3
  givenname: T.
  surname: Nakamura
  fullname: Nakamura, T.
  organization: Fac. of Eng., Tohoku Univ., Sendai, Japan
BookMark eNotUNFKxDAQDKignvcB-pQf6Nk0TdN9lFNP4cA-6POxyW17lTYpSQ_0781xDgsLM7vDMLfs0nlHjN2LfCVEDo_v66emWQkAtSp1Uajigi1B13kaWeSiVtdsGeN3nlAqIfPyhh2eKfad4-j2fKLQ-jCis8RHwngMNJKbI_dt0jn9kD3OvXd89HsaeLrl84H4hAGHIRFT8JZi7F13-miCH3x3IruAY7xjVy0OkZb_e8G-Xl8-12_Z9mOTcm-zPuWesxbKSpvaoFVoRK2lsQWQNppASbGXlalBS10ZawGNAllSqVsAgyBBVigX7OHs2xPRbgr9iOF3d65D_gFSvVln
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ICAPP.1995.472252
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 658 vol.2
ExternalDocumentID 472252
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIE
RIL
ID FETCH-LOGICAL-i199t-f9467b8bac5ab1873bc29e7b7e9531d36b897376bcc9ab5934e47f99ba93936a3
IEDL.DBID RIE
ISBN 9780780320185
0780320182
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=472252&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Tue Aug 26 23:24:11 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
Japanese
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i199t-f9467b8bac5ab1873bc29e7b7e9531d36b897376bcc9ab5934e47f99ba93936a3
ParticipantIDs ieee_primary_472252
PublicationCentury 2000
PublicationDate 2002-11-19
PublicationDateYYYYMMDD 2002-11-19
PublicationDate_xml – month: 11
  year: 2002
  text: 2002-11-19
  day: 19
PublicationDecade 2000
PublicationTitle IEEE First ICA³PP, IEEE First International Conference on Algorithms and Architectures for Parallel Processing, Brisbane, Australia, 19-21 April, 1995
PublicationTitleAbbrev ICAPP
PublicationYear 2002
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000451304
Score 1.3112941
Snippet This paper presents a hierarchical parallel execution model for Prolog programs, the execution model is based on Or-parallelism/And-parallelism as coarse-grain...
SourceID ieee
SourceType Publisher
StartPage 650
SubjectTerms Application software
Artificial intelligence
Design engineering
Expert systems
Logic programming
Machine intelligence
Parallel processing
Programming profession
Spatial databases
Systems engineering and theory
Title Design and performance measurements of an execution model for the parallel processing of Prolog programs
URI https://ieeexplore.ieee.org/document/472252
Volume 2
WOSCitedRecordID wos472252&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV07T8MwELagYmAqlCIoD3lgdZvUdmyPqFCBhKoMgLpVfkVUKmnVB-Lnc3bSVkgsDJESJ7ETJ747n---D6E7YTyoQScJmLKOMGUd0Y5R0pfcsoSyxEVQn_cXMRrJ8VjlNc52zIXx3sfgM98Nu3Et383tJrjKegHYkIO8PRQiq1K1du6UAJMCM_M4MZeBFBzs5hpfZ3vM60XNNFG958F9nodMPd6tKv1FrhJ1y7D5r6c6Qe19jh7Od9rnFB34soWaW5IGXI_ZM_TxEGM0sC4dXuyzBPDn3jm4wvMCzmP_7W38D3Hkx8FwLQb7EAd48NkMChZVVgG0F-6A1kFw4jrCa9VGb8PH18ETqekVyBRefE0KBULSSKMt1yaVghrbV14Y4RUMTEczI5UA-WOsVdpwRZlnolDKaEUVzTQ9R41yXvoLhGWRaJs5CRsIBZ9pRrOksKl1hmeizy5RK_TbZFEhaEyqLuv8WXqFjivGlZSk6ho11suNv0FH9ms9XS1v41f_Ab2rq6k
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3NT8IwFG8MmugJRYzf9uB1sK3d2h4NSiAi2QENN9KvRRIdhA_jn-9rNyAmXjws2bqt3Zr2vdfX934_hO6ZsqAGDQ_AlDUBFdoE0lASxDzRNCQ0NB7U523AhkM-Houswtn2uTDWWh98Zlvu1O_lm5leO1dZ2wEbJiBv9xNK47BM1to6VBxQCqzN_dKcO1pwsJwrhJ3NdVJta0ahaPc7D1nmcvWSVlntL3oVr1269X991zFq7rL0cLbVPydozxYNVN_QNOBq1p6i90cfpYFlYfB8lyeAP3fuwSWe5XAf22-r_UjEniEHw7MYLETsAMI_PqBgXuYVQHvuDWgdRCeuYryWTfTafRp1ekFFsBBM4cdXQS5ATCqupE6kijgjSsfCMsWsgKlpSKq4YCCBlNZCqkQQainLhVBSEEFSSc5QrZgV9hxhnodSp4bDAWLBppKSNMx1pI1KUhbTC9Rw_TaZlxgak7LLLv8svUOHvdHLYDLoD5-v0FHJvxIFkbhGtdVibW_Qgf5aTZeLWz8CfgDZhq7w
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=IEEE+First+ICA%C2%B3PP%2C+IEEE+First+International+Conference+on+Algorithms+and+Architectures+for+Parallel+Processing%2C+Brisbane%2C+Australia%2C+19-21+April%2C+1995&rft.atitle=Design+and+performance+measurements+of+an+execution+model+for+the+parallel+processing+of+Prolog+programs&rft.au=Dong+Wang&rft.au=Kobayashi%2C+H.&rft.au=Nakamura%2C+T.&rft.date=2002-11-19&rft.pub=IEEE&rft.isbn=9780780320185&rft.volume=2&rft.spage=650&rft.epage=658+vol.2&rft_id=info:doi/10.1109%2FICAPP.1995.472252&rft.externalDocID=472252
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780320185/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780320185/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780780320185/sc.gif&client=summon&freeimage=true