𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Parallelism in Logic: Its Potential for Performance and Program Development

✍ Scribed by Franz Kurfeß (auth.)


Publisher
Vieweg+Teubner Verlag
Year
1991
Tongue
German
Leaves
310
Series
Artificial Intelligence / KΓΌnstliche Intelligenz 1
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents


Front Matter....Pages i-xii
Introduction....Pages 1-16
Foundations....Pages 17-64
State of the Art....Pages 65-94
Parallelism in Logic....Pages 95-206
A Parallel Logic Language: MMLOP....Pages 207-221
Computational Model....Pages 223-230
Architecture....Pages 231-255
Conclusions....Pages 257-268
Back Matter....Pages 269-300

✦ Subjects


Engineering, general


πŸ“œ SIMILAR VOLUMES


Parallel and distributed logic programmi
✍ Bhattacharya A., Konar A., Mandal A. πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

The book Parallel and Distributed Logic Programming provides a clear introduction to parallel and distributed approach to logic programming. It examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distrib

Parallel and Constraint Logic Programmin
✍ Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou (auth.) πŸ“‚ Library πŸ“… 1998 πŸ› Springer US 🌐 English

<p>Constraint Logic Programming (CLP), an area of extreme research interest in recent years, extends the semantics of Prolog in such a way that the combinatorial explosion, a characteristic of most problems in the field of Artificial Intelligence, can be tackled efficiently. By employing solvers ded

Parallel logic programming
✍ Evan Tick πŸ“‚ Library πŸ“… 1991 πŸ› The MIT Press 🌐 English

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 program