YapOr: An Or-Parallel Prolog System Based on Environment Copying
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data struc...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buchkapitel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 192 |
|---|---|
| container_issue | |
| container_start_page | 178 |
| container_title | |
| container_volume | |
| creator | Rocha, Ricardo Silva, Fernando Costa, Vítor Santos |
| description | YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data structures to support parallel processing, implementing incremental copying technique, developing a memory organization able to answer with efficiency to parallel processing and to incremental copying in particular, implementing the scheduler strategies, designing an interface between the scheduler and the engine, implementing the sharing work process, and implementing support to the cut builtin.
An initial evaluation of YapOr performance showed that it achieves very good performance on a large set of benchmark programs. Indeed, YapOr compares favorably with a mature parallel Prolog system such as Muse, both in terms of base speed and in terms of speedups. |
| doi_str_mv | 10.1007/3-540-48159-1_13 |
| format | Book Chapter |
| fullrecord | <record><control><sourceid>proquest_pasca</sourceid><recordid>TN_cdi_pascalfrancis_primary_1829297</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>EBC3073055_18_188</sourcerecordid><originalsourceid>FETCH-LOGICAL-p1823-aa076232aebcd9493d83d6d8fe73c684783cdbca03f9d361b8a6c8e5bdbaa22f3</originalsourceid><addsrcrecordid>eNotkE1PwzAMhsOnGGN3jj1wzUjipk04MabxIU3aJECCU-Sm6Rh0bUkG0v492YZlyZL9-rX8EHLJ2ZAzll8DlSmjqeJSU244HJBziJ1dgx-SHs84pwCpPtoPskym6u2Y9BgwQXWewinpaamk4Az0GRmE8MligJA6FT1y-47dzN8koyaZeTpHj3Xt6mTu27pdJM-bsHar5A6DK5O2SSbN79K3zco162Tcdptls7ggJxXWwQ3-a5-83k9exo90Ont4Go-mtONKAEVkeSZAoCtsqVMNpYIyK1XlcrCZSnMFtiwsMqh0CRkvFGZWOVmUBaIQFfTJ1d63w2Cxrjw2dhlM55cr9BsTj2ih8ygb7mUhTpqF86Zo269gODNbngZMhGR2-MyWZ1yAf1_ffv-4sDZuu2Hji5GF_cBu7XwwwHJgUsY7MRX8ARgVcpc</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>book_chapter</recordtype><pqid>EBC3073055_18_188</pqid></control><display><type>book_chapter</type><title>YapOr: An Or-Parallel Prolog System Based on Environment Copying</title><source>Springer Books</source><creator>Rocha, Ricardo ; Silva, Fernando ; Costa, Vítor Santos</creator><contributor>Goos, G ; Hartmanis, J ; van Leeuwen, J ; Alferes, José J. ; Barahona, Pedro</contributor><creatorcontrib>Rocha, Ricardo ; Silva, Fernando ; Costa, Vítor Santos ; Goos, G ; Hartmanis, J ; van Leeuwen, J ; Alferes, José J. ; Barahona, Pedro</creatorcontrib><description>YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data structures to support parallel processing, implementing incremental copying technique, developing a memory organization able to answer with efficiency to parallel processing and to incremental copying in particular, implementing the scheduler strategies, designing an interface between the scheduler and the engine, implementing the sharing work process, and implementing support to the cut builtin.
An initial evaluation of YapOr performance showed that it achieves very good performance on a large set of benchmark programs. Indeed, YapOr compares favorably with a mature parallel Prolog system such as Muse, both in terms of base speed and in terms of speedups.</description><identifier>ISSN: 0302-9743</identifier><identifier>ISBN: 354066548X</identifier><identifier>ISBN: 9783540665489</identifier><identifier>EISSN: 1611-3349</identifier><identifier>EISBN: 3540481591</identifier><identifier>EISBN: 9783540481591</identifier><identifier>DOI: 10.1007/3-540-48159-1_13</identifier><identifier>OCLC: 958521039</identifier><identifier>LCCallNum: Q334-342TJ210.2-211</identifier><language>eng</language><publisher>Germany: Springer Berlin / Heidelberg</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Parallel Logic Programming ; Programming languages ; Scheduling ; Software</subject><ispartof>Lecture notes in computer science, 1999, p.178-192</ispartof><rights>Springer-Verlag Berlin Heidelberg 1999</rights><rights>1999 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttps://ebookcentral.proquest.com/covers/3073055-l.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/3-540-48159-1_13$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/3-540-48159-1_13$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>309,310,779,780,784,789,790,793,4048,4049,27924,38254,41441,42510</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=1829297$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><contributor>Goos, G</contributor><contributor>Hartmanis, J</contributor><contributor>van Leeuwen, J</contributor><contributor>Alferes, José J.</contributor><contributor>Barahona, Pedro</contributor><creatorcontrib>Rocha, Ricardo</creatorcontrib><creatorcontrib>Silva, Fernando</creatorcontrib><creatorcontrib>Costa, Vítor Santos</creatorcontrib><title>YapOr: An Or-Parallel Prolog System Based on Environment Copying</title><title>Lecture notes in computer science</title><description>YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data structures to support parallel processing, implementing incremental copying technique, developing a memory organization able to answer with efficiency to parallel processing and to incremental copying in particular, implementing the scheduler strategies, designing an interface between the scheduler and the engine, implementing the sharing work process, and implementing support to the cut builtin.
An initial evaluation of YapOr performance showed that it achieves very good performance on a large set of benchmark programs. Indeed, YapOr compares favorably with a mature parallel Prolog system such as Muse, both in terms of base speed and in terms of speedups.</description><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Parallel Logic Programming</subject><subject>Programming languages</subject><subject>Scheduling</subject><subject>Software</subject><issn>0302-9743</issn><issn>1611-3349</issn><isbn>354066548X</isbn><isbn>9783540665489</isbn><isbn>3540481591</isbn><isbn>9783540481591</isbn><fulltext>true</fulltext><rsrctype>book_chapter</rsrctype><creationdate>1999</creationdate><recordtype>book_chapter</recordtype><recordid>eNotkE1PwzAMhsOnGGN3jj1wzUjipk04MabxIU3aJECCU-Sm6Rh0bUkG0v492YZlyZL9-rX8EHLJ2ZAzll8DlSmjqeJSU244HJBziJ1dgx-SHs84pwCpPtoPskym6u2Y9BgwQXWewinpaamk4Az0GRmE8MligJA6FT1y-47dzN8koyaZeTpHj3Xt6mTu27pdJM-bsHar5A6DK5O2SSbN79K3zco162Tcdptls7ggJxXWwQ3-a5-83k9exo90Ont4Go-mtONKAEVkeSZAoCtsqVMNpYIyK1XlcrCZSnMFtiwsMqh0CRkvFGZWOVmUBaIQFfTJ1d63w2Cxrjw2dhlM55cr9BsTj2ih8ygb7mUhTpqF86Zo269gODNbngZMhGR2-MyWZ1yAf1_ffv-4sDZuu2Hji5GF_cBu7XwwwHJgUsY7MRX8ARgVcpc</recordid><startdate>1999</startdate><enddate>1999</enddate><creator>Rocha, Ricardo</creator><creator>Silva, Fernando</creator><creator>Costa, Vítor Santos</creator><general>Springer Berlin / Heidelberg</general><general>Springer Berlin Heidelberg</general><general>Springer</general><scope>FFUUA</scope><scope>IQODW</scope></search><sort><creationdate>1999</creationdate><title>YapOr: An Or-Parallel Prolog System Based on Environment Copying</title><author>Rocha, Ricardo ; Silva, Fernando ; Costa, Vítor Santos</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-p1823-aa076232aebcd9493d83d6d8fe73c684783cdbca03f9d361b8a6c8e5bdbaa22f3</frbrgroupid><rsrctype>book_chapters</rsrctype><prefilter>book_chapters</prefilter><language>eng</language><creationdate>1999</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Parallel Logic Programming</topic><topic>Programming languages</topic><topic>Scheduling</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Rocha, Ricardo</creatorcontrib><creatorcontrib>Silva, Fernando</creatorcontrib><creatorcontrib>Costa, Vítor Santos</creatorcontrib><collection>ProQuest Ebook Central - Book Chapters - Demo use only</collection><collection>Pascal-Francis</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Rocha, Ricardo</au><au>Silva, Fernando</au><au>Costa, Vítor Santos</au><au>Goos, G</au><au>Hartmanis, J</au><au>van Leeuwen, J</au><au>Alferes, José J.</au><au>Barahona, Pedro</au><format>book</format><genre>bookitem</genre><ristype>CHAP</ristype><atitle>YapOr: An Or-Parallel Prolog System Based on Environment Copying</atitle><btitle>Lecture notes in computer science</btitle><seriestitle>Lecture Notes in Computer Science</seriestitle><date>1999</date><risdate>1999</risdate><spage>178</spage><epage>192</epage><pages>178-192</pages><issn>0302-9743</issn><eissn>1611-3349</eissn><isbn>354066548X</isbn><isbn>9783540665489</isbn><eisbn>3540481591</eisbn><eisbn>9783540481591</eisbn><abstract>YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first implemented in Muse. The development of YapOr required solutions for some important issues, such as designing the data structures to support parallel processing, implementing incremental copying technique, developing a memory organization able to answer with efficiency to parallel processing and to incremental copying in particular, implementing the scheduler strategies, designing an interface between the scheduler and the engine, implementing the sharing work process, and implementing support to the cut builtin.
An initial evaluation of YapOr performance showed that it achieves very good performance on a large set of benchmark programs. Indeed, YapOr compares favorably with a mature parallel Prolog system such as Muse, both in terms of base speed and in terms of speedups.</abstract><cop>Germany</cop><pub>Springer Berlin / Heidelberg</pub><doi>10.1007/3-540-48159-1_13</doi><oclcid>958521039</oclcid><tpages>15</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0302-9743 |
| ispartof | Lecture notes in computer science, 1999, p.178-192 |
| issn | 0302-9743 1611-3349 |
| language | eng |
| recordid | cdi_pascalfrancis_primary_1829297 |
| source | Springer Books |
| subjects | Applied sciences Computer science control theory systems Exact sciences and technology Parallel Logic Programming Programming languages Scheduling Software |
| title | YapOr: An Or-Parallel Prolog System Based on Environment Copying |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T14%3A27%3A41IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_pasca&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=bookitem&rft.atitle=YapOr:%20An%20Or-Parallel%20Prolog%20System%20Based%20on%20Environment%20Copying&rft.btitle=Lecture%20notes%20in%20computer%20science&rft.au=Rocha,%20Ricardo&rft.date=1999&rft.spage=178&rft.epage=192&rft.pages=178-192&rft.issn=0302-9743&rft.eissn=1611-3349&rft.isbn=354066548X&rft.isbn_list=9783540665489&rft_id=info:doi/10.1007/3-540-48159-1_13&rft_dat=%3Cproquest_pasca%3EEBC3073055_18_188%3C/proquest_pasca%3E%3Curl%3E%3C/url%3E&rft.eisbn=3540481591&rft.eisbn_list=9783540481591&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=EBC3073055_18_188&rft_id=info:pmid/&rfr_iscdi=true |