登入選單
返回Google圖書搜尋
Parallel Logic Programming
Evan Tick
出版MIT Press, 1991
主題Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Logic DesignComputers / Distributed Systems / GeneralComputers / Programming / Parallel
ISBN02622008729780262200875
URLhttp://books.google.com.hk/books?id=I5VQAAAAMAAJ&hl=&source=gbs_api
註釋Highly parallel machines have been available for many years but, because advances in hardware have always outpaced progress in software development, designers and users of these machines have yet to realize their full potential. Until recently there have been few, if any, high-class parallel programming languages that could be implemented on the wide variety of parallel processing systems in use. This book helps to redress the balance by teaching 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 Programmingbrings to light practical applications of a previously esoteric/theoretical area of parallel logic programming and is unique in presenting 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 useful chapter summaries, programming projects, and a glossary.