کتاب Prolog: The Standard: Reference Manual Softcover reprint of the original 1st ed. 1996 Edition

وضعیت موجودی موجود

مقایسه شود

قیمت قبلی: 3,680,000 ریال

قیمت: 3,280,000 ریال

Product details

ASIN ‏ : ‎ 3540593047
Publisher ‏ : ‎ Springer; Softcover reprint of the original 1st ed. 1996 edition (April 15, 1996)
Language ‏ : ‎ English
Paperback ‏ : ‎ 288 pages
ISBN-10 ‏ : ‎ 376435299X
ISBN-13 ‏ : ‎ 978-3764352998

Available at a lower price from other sellers that may not offer free Prime shipping.

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

منابع کتاب کتاب Prolog: The Standard: Reference Manual Softcover reprint of the original 1st ed. 1996 Edition

‏ در دسترس با قیمت پایین تر از ‏‏فروشندگان دیگر است که‏‏ ممکن است حمل و نقل نخست رایگان ارائه نمی دهد. ‏

‏ از دیدگاه یک «صنعتی» این کتاب بیشتر مورد استقبال قرار می گیرد، به عنوان یکی از مهم ترین تظاهرات بلوغ پرلوگ. برنامه نویسی منطق یک منطقه جذاب در علوم کامپیوتر است، که سال ها برگزار شد - و هنوز هم می کند - وعده آزاد کردن خودمان از برنامه نویسی بر اساس ماشین "فون نویمان" است. علاوه بر این برنامه نویسی کامپیوتر از دیرباز برای پایه های نظری جامد بوده است. در حالی که مهندسی متعارف، که عمدتاً با «پیچیدگی قیاسی» سروکار دارد، در طول حدود صد سال بدنه کاملی از ابزارهای ریاضی را توسعه داد، چنین ابزاری برای «پیچیدگی دیجیتال» در دسترس نبود. تنها رشته ریاضی که به پیچیدگی دیجیتال می پردازد منطق است و Prolog قطعا ابزار عملیاتی است که نزدیک ترین به ایده آل برنامه نویسی منطقی می آید. بنابراین ، چرا Prolog ، با وجود نزدیک به بیست سال توسعه ، هنوز هم به نظر می رسد به بسیاری از امروز بیشتر از یک تحقیق و یا ابزار دانشگاهی ، به جای یک زبان برنامه نویسی صنعتی؟ چند دلیل ممکن است این را توضیح دهد: اول، من فکر می کنم Prolog رنج می برد از داشتن تا حد زیادی به جذب - و در نتیجه به دنبال سرنوشت - هوش مصنوعی. اعتیاد به مواد مخدره زیادی در اواخر سال 1980 ایجاد overexpectations و موفق به ارائه، و ضد عکس عمل پرتاب هر دو هوش مصنوعی و Prolog را به ابهام نسبی است. به گونه ای شاید این شانس جدیدی برای جامعه پرولگ باشد: توانایی انجام کار و پیشرفت واقعی بدون اختلال چراغ های آهک و ادعاهای غیرواقعی گوروهای مختلف. دوم ، برنامه نویسی در Prolog تجربه جدید برای حرفه ای کامپیوتر‏