反馈文件质量
lgli/A:\compressed\10.1007%2F978-1-4615-2778-7.pdf
Multiprocessor Execution of Logic Programs 🔍
Gopal Gupta (auth.) Springer US : Imprint : Springer, Softcover reprint of the original 1st ed. 1994, 2012
英语 [en] · PDF · 7.3MB · 1994 · 📘 非小说类图书 · 🚀/lgli/lgrs/nexusstc/zlib · Save
描述
__Multiprocessor Execution of Logic Programs__ addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, __**or**-parallelism__, __independent__**__and__**__-parallelism__ and dependent **__and__**__-parallelism__. __Coverage includes a____thorough survey of parallel implementation techniques and parallel____systems developed for Prolog.__
__Multiprocessor Execution of Logic Programs__ is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.
备用文件名
lgrsnf/A:\compressed\10.1007%2F978-1-4615-2778-7.pdf
备用文件名
nexusstc/Multiprocessor Execution of Logic Programs/9b6b6d4b312c69d49645a5a50a2b964c.pdf
备用文件名
zlib/Computers/Hardware/Gopal Gupta (auth.)/Multiprocessor Execution of Logic Programs_2118394.pdf
备选作者
by Gopal Gupta
备用出版商
Springer-Science+Business Media, LLC
备用出版商
Springer-Verlag New York, LLC
备用版本
United States, United States of America
备用版本
Springer Nature, New York, NY, 2012
备用版本
1st ed. 1994, New York, NY, 1994
备用版本
Boston, MA, United States, 1994
元数据中的注释
lg964491
元数据中的注释
{"edition":"1","isbns":["1461362008","1461527783","9781461362005","9781461527787"],"last_page":243,"publisher":"Springer US"}
元数据中的注释
Online full text is restricted to subscribers.
Also available in print.
Mode of access: World Wide Web.
备用描述
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of logic programming languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in logic programs, namely, or -parallelism , independent and -parallelism and dependent and -parallelism . Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog.
Multiprocessor Execution of Logic Programs is recommended for people implementing parallel logic programming systems, parallel symbolic systems, parallel AI systems, and parallel theorem proving systems. It will also be useful to people who wish to learn about the implementation of parallel logic programming systems.
备用描述
Multiprocessor Execution of Logic Programs addresses the problem of efficient implementation of Logic Programming Languages, specifically Prolog, on multiprocessor architectures. The approaches and implementations developed attempt to take full advantage of sequential implementation technology developed for Prolog (such as the WAM) while exploiting all forms of control parallelism present in Logic Programs, namely, or-parallelism, independent and-parallelism and dependent and-parallelism. Coverage includes a thorough survey of parallel implementation techniques and parallel systems developed for Prolog. Multiprocessor Execution of Logic Programs will be useful for people implementing parallel logic programming systems, parallel symbolic systems Parallel AI systems, and parallel theorem proving systems. This work will also be useful to people who wish to learn about implementation of parallel logic programming systems.
备用描述
Front Matter....Pages i-xviii
Introduction: Logic Programming and Parallel Processing....Pages 1-10
Front Matter....Pages 11-11
Parallel Execution Models for Logic Programs....Pages 13-41
Analysis of Or-parallel Models for Logic Programs....Pages 43-65
Front Matter....Pages 67-67
Environment Representation for And-Or Parallel Execution....Pages 69-85
A Distributed Stack Implementation and an Abstract Machine for And-Or Parallel Execution of Logic Programs on Shared Memory Multiprocessors....Pages 87-140
Optimizing And-Or Parallel Models....Pages 141-165
Front Matter....Pages 167-167
Integrating Dependent and-, Independent and-, and Or-parallelism....Pages 169-188
And-Or Parallel Implementation of Prolog....Pages 189-214
Conclusions....Pages 215-222
Back Matter....Pages 223-243
备用描述
Keine Beschreibung vorhanden.
Erscheinungsdatum: 06.10.2012
开源日期
2013-08-01
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：JDownloader
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。