توضیحاتی در مورد کتاب Concurrent Prolog - Vol. 1: Collected Papers
نام کتاب : Concurrent Prolog - Vol. 1: Collected Papers
عنوان ترجمه شده به فارسی : Concurrent Prolog - Vol. 1: مقالات جمع آوری شده
سری : Logic Programming
نویسندگان : Ehud Y. Shapiro
ناشر : The MIT Press
سال نشر : 1987
تعداد صفحات : 564
ISBN (شابک) : 0262192667 , 9780262192668
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
Concurrent Prolog برای اولین بار توضیحاتی از زبان های برنامه نویسی منطق همزمان اصلی ارائه شده تا کنون برای سیستم های کامپیوتری موازی آینده را گرد هم می آورد. به طور خاص، زبان برنامه نویسی منطقی همزمان Flat Concurrent Prolog را توصیف می کند، یک رویکرد جامع و ریشه ای برای محاسبات موازی که بر اساس یک پایه ساده است.
پس از بررسی تحقیقات اخیر در زبان های برنامه نویسی منطق همزمان، این دو مورد مجلدها به تمام جنبه های مربوط به ساخت چنین سیستم کامپیوتری موازی می پردازند. آنها بررسی می کنند که چگونه برنامه نویسی سیستم ها و اجرای الگوریتم های موازی را می توان با این زبان انجام داد. چگونه می توان از تکنیک های توسعه برنامه پیشرفته استفاده کرد. نحوه تعبیه سایر زبان های سطح بالا در آن؛ و نحوه پیاده سازی کارآمد این زبان در کامپیوترهای متوالی و موازی. نتایج این بررسیها نشان میدهد که Flat Concurrent Prolog میتواند به عنوان یک زبان ماشینی سطح بالا برای رایانههای موازی استفاده کند.
Ehud Y. Shapiro دانشمند ارشد، گروه ریاضیات کاربردی، مؤسسه Weizmann است. علم. پرولوگ همزمان در مجموعه برنامه نویسی منطقی او گنجانده شده است. بسیاری از تحقیقات توصیف شده در کتاب توسط پروژه نسل پنجم و لقاح متقابل بین نویسندگان و ICOT تحریک شده است.
توضیحاتی در مورد کتاب به زبان اصلی :
Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes the concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation.
After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers.
Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT.