Parallel and Distributed Logic Programming

کتاب برنامه‌نویسی منطقی موازی و توزیع شده مقدمه‌ای روشن برای رویکرد موازی و توزیع‌شده به برنامه‌نویسی منطقی ارائه می‌کند. این مدل‌های موجود برنامه‌نویسی منطق توزیع‌شده را بررسی می‌کند، جوانب مثبت و منفی این مدل‌ها را تجزیه و تحلیل می‌کند، و یک چارچوب جایگزین برای برنامه‌نویسی منطق توزیع‌شده با استفاده از شبکه‌های پتری توسعه‌یافته پیشنهاد می‌کند. تحقق سخت سیمی چارچوب مبتنی بر شبکه پتری با جزئیات ارائه شده است. اصول نگاشت یک برنامه منطقی بر روی چارچوب پیشنهادی نیز تشریح شده است. در نهایت، این کتاب تلاش می‌کند تا دامنه مدل‌های شبکه پتری را در طراحی ماشین‌های پایگاه داده قیاسی نسل بعدی بررسی کند.

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 distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail. Principles of mapping of a logic program on to the proposed framework are also outlined. Finally, the book attempts to explore the scope of Petri net models in designing deductive database machines of the next generation.