برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic Programming: New Frontiers

دانلود کتاب برنامه نویسی منطقی: مرزهای جدید

مشخصات کتاب

Logic Programming: New Frontiers

دسته بندی: منطق
ویرایش:  
نویسندگان: D.R.Brough (ed.)  
سری:  
ISBN (شابک) : 1871516250, 9781871516258 
ناشر: Kluwer 
سال نشر: 1992 
تعداد صفحات: 322 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 52,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 4

در صورت تبدیل فایل کتاب Logic Programming: New Frontiers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه نویسی منطقی: مرزهای جدید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه نویسی منطقی: مرزهای جدید

در برنامه‌نویسی منطقی، مانند بسیاری از حوزه‌های دیگر، تئوری اغلب توسط Application به بهترین وجه مورد آزمایش قرار می‌گیرد و تلاش برای کاربرد اغلب مستلزم پیشرفت در تئوری است، بنابراین هم کار نظری و هم کار عملی برای پیشرفت مؤثر ضروری است. این به وضوح در مقالات زیر ارائه شده به دومین کنفرانس برنامه نویسی منطقی انگلستان که توسط شعبه بریتانیا از انجمن برنامه نویسی منطقی حمایت شده بود و در دانشگاه بریستول در مارس 1990 برگزار شد، مشهود است. این کتاب شامل 13 مقاله از آن کنفرانس است که تحت عنوان گروه بندی شده اند. چهار عنوان: نظریه پشتیبان عمل نظریه انگیزشی در این گروه اول از مقالات، مشکلات تجربه شده در کاربرد عملی Prolog و اشکال زدایی برنامه های Prolog انگیزه کار بر روی برنامه های افزودنی به زبان و محیط توسعه آن را فراهم کرده است. پیشرفت های توسعه برنامه با دو مقاله در مورد اشکال زدایی و یک مقاله در مورد روش توسعه برنامه های CLP نشان داده شده است. در سمت نظری، یک زبان منطقی Pure(r) و همچنین پسوندهایی برای موثرتر کردن منطق برای بررسی یکپارچگی در پایگاه‌های داده قیاسی پیشنهاد شده‌است. کاربردها گروه بعدی شامل سه مقاله است. اولین مورد استفاده از Prolog را برای توسعه یک ایستگاه کاری مهندسی کنترل (CES) توصیف می کند. دومی به بررسی استفاده از یک KBMS مبتنی بر برنامه نویسی منطقی برای توسعه یک نمونه اولیه سیستم اطلاعات مدیریت مالی می پردازد. در آخرین نشان داده شده است که چگونه یک زیر مجموعه از prolog می تواند وسیله ای برای انیمیشن ریاضیات گسسته فراهم کند. "به طور کلی، من این را مجموعه بسیار خوبی از مقالات یافتم، و مطمئناً برای هر کسی که علاقه بیشتری به جنبه نظری و شاید جنبه عملی هوش مصنوعی، و کاربردهای آن در PROLOG دارد، ارزش خواندن را دارد." مجله کامپیوتر استرالیا.

توضیحاتی درمورد کتاب به خارجی

In Logic Programming, as in many other areas, Theory is often best tested by Application and attempted Application frequently necessitates advances in Theory, so both theoretical and practical work is essential for effective progress. This is clearly evident in the following papers presented to the second UK Logic Programming Conference which was sponsored by the United Kingdom branch of the Association of Logic Programming and convened at Bristol.University in March 1990. This book contains 13 papers from that conference grouped under four headings: Theory supporting practice motivating theory In this first group of papers, difficulties experienced in practical application of Prolog and in debugging Prolog programs have motivated work on extensions to the language and its development environment. Program development advances are represented by two papers on debugging and one on a development methodology for CLP programs. On the theoretical side a Pure(r) logic language is proposed as well as extensions to make logic more effective for integrity checking in deductive databases. Applications The next group contains three papers. The first describers the use of Prolog to develop a Control Engineering workStation (CES). The second investigates the use of a logic programming based KBMS for developing a prototype Financial Management Information System. In the last it is shown how a subset of prolog can provide a vehicle for the animation of Discrete Mathematics. `Overall, I found this to be a very good collection of papers, and certainly well worth reading for anyone with an interest more in the theoretical than the practical side perhaps of Artificial Intelligence, and its applications in PROLOG.' The Australian Computer Journal.

فهرست مطالب

Cover ......Page 1
Table of Contents ......Page 4
Authors ......Page 6
Preface ......Page 10
01. Metalevel and Constraint Technology in a Pure Logic Language (Edward Babb) ......Page 12
02. A Framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs (Paul Brna, Alan Bundy, Helen Pain) ......Page 33
03. Event Abstraction Debuggers for Layered Systems in Prolog (Andrew Casson) ......Page 67
04. Extending the Integrity Maintenance Capability in Deductive Databases (Subrata Kumar Das, M. H. Williams) ......Page 86
05. Construction of CLP Programs (Yves Deville, Pascal van Hentenryck) ......Page 123
06. Some Control Engineering Applications of Prolog (P. W. Grant, C. P. Jobling, C. Rezvani) ......Page 147
07. GAP: An Experiment in Model Oriented Programming (Keith Harrison) ......Page 170
08. Using Prolog to Animate Mathematics (Ron Knott) ......Page 184
09. Term-Encodable Description Spaces (Chris Mellish) ......Page 200
10. Logic, Language and the Quest for Intelligence (Chris Moss) ......Page 219
11. A Model for OR-Parallel Prolog Execution Using Graph Reduction (S. M. S. Syed-Mustaffa) ......Page 238
12. Reconciling Systems and Deductive Capacities in Knowledge Based Systems Using Logic Programming (Hamish Taylor) ......Page 264
13. The Wivenhoe Computational Model: In Search of More Parallelisms (Jiwei Wang and Simon Lavington) ......Page 293
Back cover ......Page 322