An abstract machine to implement or-and parallel PROLOG efficiently
PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys...
Gespeichert in:
| Veröffentlicht in: | The journal of logic programming 1990, Vol.8 (3), p.249-264 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 264 |
|---|---|
| container_issue | 3 |
| container_start_page | 249 |
| container_title | The journal of logic programming |
| container_volume | 8 |
| creator | de Kergommeaux, J.Chassin Robert, P. |
| description | PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys Abstract Machine described in this paper was designed to allow an efficient implementation of the PEPSys computational model. Based on the WAM, it incorporates a number of novel features to support the management of the logical variable and the control of the search space of the PEPSys computational model. Both a parallel implementation on a multiprocessor and a simulation system of scalable multiprocessor architectures implement the PEPSys Abstract Machine and yield effective speedups in parallel computations. |
| doi_str_mv | 10.1016/0743-1066(90)90025-Z |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_25766821</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>074310669090025Z</els_id><sourcerecordid>25766821</sourcerecordid><originalsourceid>FETCH-LOGICAL-c335t-3781d1bc8e0094566cbfc56c45ac06c43ffea15cd1b164ff0ebc7c5f75fdace3</originalsourceid><addsrcrecordid>eNp9kE1Lw0AURQdRsFb_gYtZiS6ib5rMJNkIpfgFhYp01c0weXmDI5OkzqRC_72JFZeu7ubcC_cwdingVoBQd5BnaSJAqesSbkqAmUw2R2wiijxNZF6Ux2zyh5yysxg_AEAIISdsMW-5qWIfDPa8MfjuWuJ9x12z9dRQ2_MuJKat-dYE4z15_vq2Wq6eOFnr0A2A35-zE2t8pIvfnLL148N68ZwM3MtivkwwTWWfpHkhalFhQQBlJpXCyqJUmEmDMERqLRkhcWCEyqwFqjBHaXNpa4OUTtnVYXYbus8dxV43LiJ5b1rqdlHPZK5UMRMDmB1ADF2MgazeBteYsNcC9ChMjzb0aEOXoH-E6c1Quz_UaPjw5SjoOB5Eql0g7HXduf8HvgHLH3LS</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>25766821</pqid></control><display><type>article</type><title>An abstract machine to implement or-and parallel PROLOG efficiently</title><source>Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals</source><source>Alma/SFX Local Collection</source><creator>de Kergommeaux, J.Chassin ; Robert, P.</creator><creatorcontrib>de Kergommeaux, J.Chassin ; Robert, P.</creatorcontrib><description>PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys Abstract Machine described in this paper was designed to allow an efficient implementation of the PEPSys computational model. Based on the WAM, it incorporates a number of novel features to support the management of the logical variable and the control of the search space of the PEPSys computational model. Both a parallel implementation on a multiprocessor and a simulation system of scalable multiprocessor architectures implement the PEPSys Abstract Machine and yield effective speedups in parallel computations.</description><identifier>ISSN: 0743-1066</identifier><identifier>EISSN: 1873-5789</identifier><identifier>DOI: 10.1016/0743-1066(90)90025-Z</identifier><language>eng</language><publisher>Elsevier Inc</publisher><ispartof>The journal of logic programming, 1990, Vol.8 (3), p.249-264</ispartof><rights>1990</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c335t-3781d1bc8e0094566cbfc56c45ac06c43ffea15cd1b164ff0ebc7c5f75fdace3</citedby><cites>FETCH-LOGICAL-c335t-3781d1bc8e0094566cbfc56c45ac06c43ffea15cd1b164ff0ebc7c5f75fdace3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>315,781,785,4025,27925,27926,27927</link.rule.ids></links><search><creatorcontrib>de Kergommeaux, J.Chassin</creatorcontrib><creatorcontrib>Robert, P.</creatorcontrib><title>An abstract machine to implement or-and parallel PROLOG efficiently</title><title>The journal of logic programming</title><description>PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys Abstract Machine described in this paper was designed to allow an efficient implementation of the PEPSys computational model. Based on the WAM, it incorporates a number of novel features to support the management of the logical variable and the control of the search space of the PEPSys computational model. Both a parallel implementation on a multiprocessor and a simulation system of scalable multiprocessor architectures implement the PEPSys Abstract Machine and yield effective speedups in parallel computations.</description><issn>0743-1066</issn><issn>1873-5789</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1990</creationdate><recordtype>article</recordtype><recordid>eNp9kE1Lw0AURQdRsFb_gYtZiS6ib5rMJNkIpfgFhYp01c0weXmDI5OkzqRC_72JFZeu7ubcC_cwdingVoBQd5BnaSJAqesSbkqAmUw2R2wiijxNZF6Ux2zyh5yysxg_AEAIISdsMW-5qWIfDPa8MfjuWuJ9x12z9dRQ2_MuJKat-dYE4z15_vq2Wq6eOFnr0A2A35-zE2t8pIvfnLL148N68ZwM3MtivkwwTWWfpHkhalFhQQBlJpXCyqJUmEmDMERqLRkhcWCEyqwFqjBHaXNpa4OUTtnVYXYbus8dxV43LiJ5b1rqdlHPZK5UMRMDmB1ADF2MgazeBteYsNcC9ChMjzb0aEOXoH-E6c1Quz_UaPjw5SjoOB5Eql0g7HXduf8HvgHLH3LS</recordid><startdate>1990</startdate><enddate>1990</enddate><creator>de Kergommeaux, J.Chassin</creator><creator>Robert, P.</creator><general>Elsevier Inc</general><scope>6I.</scope><scope>AAFTH</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>1990</creationdate><title>An abstract machine to implement or-and parallel PROLOG efficiently</title><author>de Kergommeaux, J.Chassin ; Robert, P.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c335t-3781d1bc8e0094566cbfc56c45ac06c43ffea15cd1b164ff0ebc7c5f75fdace3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1990</creationdate><toplevel>online_resources</toplevel><creatorcontrib>de Kergommeaux, J.Chassin</creatorcontrib><creatorcontrib>Robert, P.</creatorcontrib><collection>ScienceDirect Open Access Titles</collection><collection>Elsevier:ScienceDirect:Open Access</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>The journal of logic programming</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>de Kergommeaux, J.Chassin</au><au>Robert, P.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>An abstract machine to implement or-and parallel PROLOG efficiently</atitle><jtitle>The journal of logic programming</jtitle><date>1990</date><risdate>1990</risdate><volume>8</volume><issue>3</issue><spage>249</spage><epage>264</epage><pages>249-264</pages><issn>0743-1066</issn><eissn>1873-5789</eissn><abstract>PEPSys (Parallel ECRC PROLOG System) is a research project started in 1984 in the Computer Architecture Group of the European Computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new and practicable solutions to the problems of parallel logic programming. The PEPSys Abstract Machine described in this paper was designed to allow an efficient implementation of the PEPSys computational model. Based on the WAM, it incorporates a number of novel features to support the management of the logical variable and the control of the search space of the PEPSys computational model. Both a parallel implementation on a multiprocessor and a simulation system of scalable multiprocessor architectures implement the PEPSys Abstract Machine and yield effective speedups in parallel computations.</abstract><pub>Elsevier Inc</pub><doi>10.1016/0743-1066(90)90025-Z</doi><tpages>16</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0743-1066 |
| ispartof | The journal of logic programming, 1990, Vol.8 (3), p.249-264 |
| issn | 0743-1066 1873-5789 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_25766821 |
| source | Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals; Alma/SFX Local Collection |
| title | An abstract machine to implement or-and parallel PROLOG efficiently |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-18T06%3A04%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=An%20abstract%20machine%20to%20implement%20or-and%20parallel%20PROLOG%20efficiently&rft.jtitle=The%20journal%20of%20logic%20programming&rft.au=de%20Kergommeaux,%20J.Chassin&rft.date=1990&rft.volume=8&rft.issue=3&rft.spage=249&rft.epage=264&rft.pages=249-264&rft.issn=0743-1066&rft.eissn=1873-5789&rft_id=info:doi/10.1016/0743-1066(90)90025-Z&rft_dat=%3Cproquest_cross%3E25766821%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=25766821&rft_id=info:pmid/&rft_els_id=074310669090025Z&rfr_iscdi=true |