Non-deterministic concurrent logic programming in Pandora:
This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1993
|
| Schriftenreihe: | World Scientific series in computer science
v. 37 |
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic search, and distributed discrete event simulation. The final chapters describe in detail the implementation of Pandora on single- as well as multi-processor architectures. The volume is aimed at the community of logic programming students and professionals, as well as researchers and professionals in artificial intelligence. It will also be of great interest to researchers in programming language design and parallel processing |
| Beschreibung: | xvii, 202 p. ill |
| ISBN: | 9789812812476 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044636280 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812812476 |9 978-981-281-247-6 | ||
| 024 | 7 | |a 10.1142/1898 |2 doi | |
| 035 | |a (ZDB-124-WOP)00005385 | ||
| 035 | |a (OCoLC)1012641249 | ||
| 035 | |a (DE-599)BVBBV044636280 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 005.133 |2 22 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Bahgat, Reem |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Non-deterministic concurrent logic programming in Pandora |c Reem Bahgat |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1993 | |
| 300 | |a xvii, 202 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a World Scientific series in computer science |v v. 37 | |
| 520 | |a This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic search, and distributed discrete event simulation. The final chapters describe in detail the implementation of Pandora on single- as well as multi-processor architectures. The volume is aimed at the community of logic programming students and professionals, as well as researchers and professionals in artificial intelligence. It will also be of great interest to researchers in programming language design and parallel processing | ||
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Pandora (Computer program language) | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810212513 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810212518 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034251 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178050440495104 |
|---|---|
| any_adam_object | |
| author | Bahgat, Reem |
| author_facet | Bahgat, Reem |
| author_role | aut |
| author_sort | Bahgat, Reem |
| author_variant | r b rb |
| building | Verbundindex |
| bvnumber | BV044636280 |
| classification_rvk | ST 240 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00005385 (OCoLC)1012641249 (DE-599)BVBBV044636280 |
| dewey-full | 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.133 |
| dewey-search | 005.133 |
| dewey-sort | 15.133 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02508nmm a2200409zcb4500</leader><controlfield tag="001">BV044636280</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812812476</subfield><subfield code="9">978-981-281-247-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/1898</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00005385</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012641249</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636280</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bahgat, Reem</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Non-deterministic concurrent logic programming in Pandora</subfield><subfield code="c">Reem Bahgat</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvii, 202 p.</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">World Scientific series in computer science</subfield><subfield code="v">v. 37</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic search, and distributed discrete event simulation. The final chapters describe in detail the implementation of Pandora on single- as well as multi-processor architectures. The volume is aimed at the community of logic programming students and professionals, as well as researchers and professionals in artificial intelligence. It will also be of great interest to researchers in programming language design and parallel processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Pandora (Computer program language)</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810212513</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810212518</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034251</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044636280 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:48Z |
| institution | BVB |
| isbn | 9789812812476 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034251 |
| oclc_num | 1012641249 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xvii, 202 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | World Scientific series in computer science |
| spelling | Bahgat, Reem Verfasser aut Non-deterministic concurrent logic programming in Pandora Reem Bahgat Singapore World Scientific Pub. Co. c1993 xvii, 202 p. ill txt rdacontent c rdamedia cr rdacarrier World Scientific series in computer science v. 37 This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic search, and distributed discrete event simulation. The final chapters describe in detail the implementation of Pandora on single- as well as multi-processor architectures. The volume is aimed at the community of logic programming students and professionals, as well as researchers and professionals in artificial intelligence. It will also be of great interest to researchers in programming language design and parallel processing Logic programming Pandora (Computer program language) Erscheint auch als Druck-Ausgabe 9789810212513 Erscheint auch als Druck-Ausgabe 9810212518 http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Bahgat, Reem Non-deterministic concurrent logic programming in Pandora Logic programming Pandora (Computer program language) |
| title | Non-deterministic concurrent logic programming in Pandora |
| title_auth | Non-deterministic concurrent logic programming in Pandora |
| title_exact_search | Non-deterministic concurrent logic programming in Pandora |
| title_full | Non-deterministic concurrent logic programming in Pandora Reem Bahgat |
| title_fullStr | Non-deterministic concurrent logic programming in Pandora Reem Bahgat |
| title_full_unstemmed | Non-deterministic concurrent logic programming in Pandora Reem Bahgat |
| title_short | Non-deterministic concurrent logic programming in Pandora |
| title_sort | non deterministic concurrent logic programming in pandora |
| topic | Logic programming Pandora (Computer program language) |
| topic_facet | Logic programming Pandora (Computer program language) |
| url | http://www.worldscientific.com/worldscibooks/10.1142/1898#t=toc |
| work_keys_str_mv | AT bahgatreem nondeterministicconcurrentlogicprogramminginpandora |