دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Pierre Deransart, Laurent Cervoni, AbdelAli Ed-Dbali سری: ISBN (شابک) : 9783642614118 ناشر: Springer سال نشر: 1996 تعداد صفحات: 279 زبان: english فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Prolog: the Standard. Reference Manual به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Prolog: استاندارد. راهنمای مرجع نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
From the viewpoint of an \"industrial\" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the \"Von Neumann\" machine. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with \"analogical complexity\", developed over some hundred years a complete body of mathematical tools, no such toolset was available for \"digital complexity\". The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language? A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.
Foreword......Page 3
Preface......Page 5
Contents......Page 7
Figures & Tables......Page 11
1 Introduction......Page 12
2 Prolog Data Structures......Page 16
3 Prolog Unification......Page 22
4 Prolog Execution Model......Page 29
5 Built-in Predicates......Page 43
6 Prolog Arithmetic......Page 205
7 Prolog Environment - Sources & Sinks......Page 215
8 Prolog Flags & Directives......Page 224
9 Prolog Syntax......Page 229
10 Portable Programs......Page 247
11 Annexes......Page 253
Thematic Classification of Predicates......Page 269
Biblio......Page 271
Index......Page 272