Parallel logic programming

著者

• 竹内, 彰一 タケウチ, アキカズ

書誌事項

Parallel logic programming

Akikazu Takeuchi

（Wiley series in parallel computing）

Wiley, c1992

注記

Includes bibliographical references (p. 217-227) and index

内容説明・目次

内容説明

An introduction to a field of parallel programming which fuses the ideas of logic, process-oriented and concurrent object-oriented programming. The text explains how the programming of large parallel computers can be applied to complex mathematical, scientific and graphics problems.

目次

Logic Programming. AND--PARALLEL PROGRAMMING. Parallel Logic Programming Languages. Communication via Shared Variables. Concurrent Object--Oriented Programming. DECLARATIVE PROGRAMMING AND DEBUGGING. A Framework for Debugging. A Declarative Debugger for GHC. AND-- AND OR--PARALLEL PROGRAMMING. An AND-- and OR--Parallel Language ANDOR--II and Its Implementation Scheme. Parallel Distributed Planning in ANDOR--II. Epilogue. Appendix. Bibliography. Index.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA20225095
• ISBN:
  • 0471578010
• LCCN: 92014589
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: xx, 233 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.642
  • DC20 : 005.1/1
• 件名:
  • LCSH : Parallel programming (Computer science)
  • LCSH : Logic programming
• 親書誌ID:
  • BA07474958