Parallel logic programming

著者

• Tick, Evan

書誌事項

Parallel logic programming

Evan Tick

（MIT Press series in logic programming）

MIT Press, c1991

注記

Bibliography: p. [471]-480

Includes index

内容説明・目次

内容説明

This book teaches programming techniques as well as performance analysis of parallel programming languages and architectures using logic programming; specifically, it focuses on the Prolog-like languages OR-parallel Prolog and AND-parallel FGHC. "Parallel Logic Programming" brings to light practical applications of a previously esoteric/theoretical area of parallel logic programming and presents programming hand-in-hand with performance analysis of real empirical measurements. Its quantitative approach to symbolic parallel programming provides students and professionals with tools for implementing and critically evaluating larger projects. The book includes chapter summaries, programming projects, and a glossary.

目次

• Introduction Prolog and FGHC
• small programs
• more small programs
• N-queens
• isomorphic trees and NAND circuits
• Triangle and Mastermind
• Instant Insanity and Turtles
• Puzzle and Waltz
• Semigroup and Pascal's Triangle
• BestPath.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA12785946
• ISBN:
  • 0262200872
• LCCN: 91002963
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: 486 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.642
  • DC20 : 004/.35
• 件名:
  • LCSH : Parallel programming (Computer science)
  • LCSH : Logic programming
• 親書誌ID:
  • BA00214201