مشخصات کتاب

Prolog Versus You: An Introduction to Logic Programming

ویرایش: 1 
نویسندگان: Anna-Lena Johansson,  Agneta Eriksson-Granskog,  Anneli Edman  
سری:  
ISBN (شابک) : 3540175776, 0387175776 
ناشر: Springer 
سال نشر: 1989 
تعداد صفحات: 299 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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

در صورت تبدیل فایل کتاب Prolog Versus You: An Introduction to Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب Prolog در مقابل شما: مقدمه ای بر برنامه نویسی منطقی

Prolog در مقابل شما نشان می دهد که چگونه می توانید دستکش زبان برنامه نویسی منطقی Prolog (PROgramming in LOGic) را در دست بگیرید و از آن به عنوان یک برنامه نویسی مطیع و ابزار حل مسئله استفاده کنید. برنامه نویسی منطقی بر این نکته تاکید دارد که برنامه نویسی یک فعالیت انسانی است و در نتیجه برنامه ها باید برای انسان ها به راحتی بنویسند، درک کنند و دستکاری کنند. در یک برنامه دانش در مورد مسئله به زبان منطقی بدون در نظر گرفتن زبان ماشین زیرین بیان می شود. این کتاب برگرفته از دوره های کارشناسی برنامه نویسی منطقی است. رابطه با منطق تشریح شده و منطق لازم به طور مستمر ارائه می شود. هیچ تجربه برنامه نویسی قبلی فرض نمی شود و می توان از آن برای مبتدیان و همچنین برنامه نویسان پیشرفته استفاده کرد. این کتاب بر خواندن توضیحی برنامه های Prolog تأکید دارد که تفکر در مورد مشکلات را تا حد زیادی تسهیل می کند و برنامه ها را به راحتی قابل درک می کند. این کتاب برنامه های منطقی، اجرای آنها و ساختارهای داده را پوشش می دهد. پایگاه های داده و سیستم های خبره؛ ترکیب برنامه، صحت برنامه و تبدیل برنامه و همچنین محاسبه کارآمد برنامه های Prolog. هر فصل با چند تمرین (با راه حل) به پایان می رسد. این کتاب همچنین شامل فهرست کامل، ضمائم و فصلی در مورد اجرای Prolog است: DECsystem-10 Prolog، Tricia، Quintus Prolog، MProlog، Turbo Prolog، micro-Prolog و LM-Prolog.

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

Prolog Versus You shows how you can take up the gauntlet of the logic programming language Prolog (PROgramming in LOGic) and use it as an obedient programming and problem solving tool. Logic programming emphasizes that programming is a human activity and consequently that programs should be easy for humans to write, understand and manipulate. In a program knowledge about the problem is stated in a logical language without consideration of the underlying machine language. This book has emerged from undergraduate courses in logic programming. The relation to logic is described and the necessary logic is provided continuously. No previous programming experience is assumed and it can be used by beginners as well as by advanced programmers. The book emphasizes the declarative reading of Prolog programs which greatly facilitates the thinking about the problems and yields programs easy to understand. The book covers logic programs, their execution and data structures; databases and expert systems; program synthesis, program correctness and program transformation as well as an efficient computation of Prolog programs. Each chapter ends with some exercises (with solutions). The book also contains a thorough index, appendices and a chapter on Prolog implementations: DECsystem-10 Prolog, Tricia, Quintus Prolog, MProlog, Turbo Prolog, micro-Prolog and LM-Prolog

فهرست مطالب

Front Matter....Pages I-IX
Logic Programs....Pages 1-19
Execution of Logic Programs....Pages 21-53
Data Structures....Pages 55-75
Databases and Expert Systems....Pages 77-116
Program Methodology....Pages 117-155
Efficient Computation....Pages 157-179
Input and Output....Pages 181-190
Prolog Implementations....Pages 191-230
Sparringpartner....Pages 231-255
Back Matter....Pages 257-297

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Instructional Design Principles for High-Stakes Problem-Solving Environments

دانلود کتاب Axiomatic concensus theory in group choice and biomathematics

دانلود کتاب Flex Life: How to Transform Your Body Forever

دانلود کتاب The Figural Jew: Politics and Identity in Postwar French Thought

دانلود کتاب Lancet Infectious Diseases Volume 10, Issue 9, Pages 577-652 (September 2010)