توضیحات
Logic Programming is a style of programming in which programs take the form of sets of sentences in the language of Symbolic Logic.
Over the years, there has been growing interest in Logic Programming due to applications in deductive databases, automated worksheets, Enterprise Management (business rules), Computational Law, and General Game Playing. This book introduces Logic Programming theory, current technology, and popular applications.
In this volume, we take an innovative, model-theoretic approach to logic programming. We begin with the fundamental notion of datasets, i.e., sets of ground atoms. Given this fundamental notion, we introduce views, i.e., virtual relations; and we define classical logic programs as sets of view definitions, written using traditional Prolog-like notation but with semantics given in terms of datasets rather than implementation. We then introduce actions, i.e., additions and deletions of ground atoms; and we define dynamic logic programs as sets of action definitions.
In addition to the printed book, there is an online version of the text with an interpreter and a compiler for the language used in the text and an integrated development environment for use in developing and deploying practical logic programs.
This is a book for the 21st century: presenting an elegant and innovative perspective on logic programming. Unlike other texts, it takes datasets as a fundamental notion, thereby bridging the gap between programming languages and knowledge representation languages; and it treats updates on an equal footing with datasets, leading to a sound and practical treatment of action and change. – Bob Kowalski, Professor Emeritus, Imperial College London
In a world where Deep Learning and Python are the talk of the day, this book is a remarkable development. It introduces the reader to the fundamentals of traditional Logic Programming and makes clear the benefits of using the technology to create runnable specifications for complex systems. – Son Cao Tran, Professor in Computer Science, New Mexico State University
Excellent introduction to the fundamentals of Logic Programming. The book is well-written and well-structured. Concepts are explained clearly and the gradually increasing complexity of exercises makes it so that one can understand easy notions quickly before moving on to more difficult ideas. – George Younger, student, Stanford University
————————————————————–
ترجمه ماشینی :
برنامه نویسی منطقی سبکی از برنامه نویسی است که در آن برنامه ها به صورت مجموعه ای از جملات در زبان منطق نمادین هستند. در طول سالها، به دلیل کاربردها در پایگاههای داده قیاسی، کاربرگهای خودکار، مدیریت سازمانی (قوانین کسبوکار)، قانون محاسباتی، و اجرای عمومی بازی، علاقه فزایندهای به برنامهنویسی منطقی وجود داشته است. این کتاب تئوری برنامه نویسی منطقی، فناوری فعلی و کاربردهای رایج را معرفی می کند. \ در این جلد، ما یک رویکرد مبتکرانه و تئوری مدل برای برنامه نویسی منطقی اتخاذ می کنیم. ما با مفهوم بنیادی مجموعه داده ها، به عنوان مثال، مجموعه ای از اتم های زمین شروع می کنیم. با توجه به این مفهوم اساسی، دیدگاه ها، یعنی روابط مجازی را معرفی می کنیم. و ما برنامههای منطقی کلاسیک را به عنوان مجموعهای از تعاریف نمایش تعریف میکنیم که با استفاده از نمادهای سنتی Prolog نوشته شدهاند، اما با معنایی که بر حسب مجموعه دادهها به جای پیادهسازی داده شده است. سپس اقداماتی را معرفی می کنیم، به عنوان مثال، افزودن و حذف اتم های زمین. و ما برنامه های منطق پویا را به عنوان مجموعه ای از تعاریف عمل تعریف می کنیم. علاوه بر کتاب چاپی، نسخه آنلاین متن با مترجم و کامپایلر برای زبان مورد استفاده در متن و یک محیط توسعه یکپارچه برای استفاده در توسعه و استقرار برنامههای منطقی کاربردی وجود دارد. این کتابی برای قرن بیست و یکم است: ارائه دیدگاهی زیبا و نوآورانه در برنامه نویسی منطقی. بر خلاف سایر متون، مجموعه داده ها را به عنوان یک مفهوم اساسی در نظر می گیرد، در نتیجه شکاف بین زبان های برنامه نویسی و زبان های بازنمایی دانش را پر می کند. و بهروزرسانیها را بهطور برابر با مجموعههای داده برخورد میکند، که منجر به برخورد صحیح و عملی از اقدام و تغییر میشود. – باب کوالسکی، پروفسور ممتاز، امپریال کالج لندن \ در دنیایی که یادگیری عمیق و پایتون بحث روز هستند، این کتاب پیشرفت قابل توجهی است. خواننده را با اصول برنامه نویسی منطقی سنتی آشنا می کند و مزایای استفاده از فناوری برای ایجاد مشخصات قابل اجرا برای سیستم های پیچیده را روشن می کند. – Son Cao Tran، استاد علوم کامپیوتر، دانشگاه ایالتی نیومکزیکو مقدمه ای عالی بر مبانی برنامه نویسی منطقی. کتاب به خوبی نوشته شده و ساختار خوبی دارد. مفاهیم به وضوح توضیح داده می شوند و افزایش تدریجی پیچیدگی تمرین ها باعث می شود قبل از رفتن به ایده های دشوارتر، بتوان مفاهیم آسان را به سرعت درک کرد. – جورج یونگر، دانشجو، دانشگاه استنفورد
tag : دانلود کتاب مقدمه ای بر برنامه نویسی منطقی , Download مقدمه ای بر برنامه نویسی منطقی , دانلود مقدمه ای بر برنامه نویسی منطقی , Download Introduction to Logic Programming Book , مقدمه ای بر برنامه نویسی منطقی دانلود , buy مقدمه ای بر برنامه نویسی منطقی , خرید کتاب مقدمه ای بر برنامه نویسی منطقی , دانلود کتاب Introduction to Logic Programming , کتاب Introduction to Logic Programming , دانلود Introduction to Logic Programming , خرید Introduction to Logic Programming , خرید کتاب Introduction to Logic Programming ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.