دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Grammatical View of Logic Programming
دانلود کتاب نمای دستوری از برنامه نویسی منطق
مشخصات کتاب
A Grammatical View of Logic Programming
ویرایش:
نویسندگان: Pierre Deransart. Jan Maluszynski
سری: Logic Programming
ISBN (شابک) : 0262041405, 9780262041409
ناشر: The MIT Press
سال نشر: 1993
تعداد صفحات: 477
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 47,000
در صورت تبدیل فایل کتاب A Grammatical View of Logic Programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نمای دستوری از برنامه نویسی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نمای دستوری از برنامه نویسی منطق
در زمینه برنامه نویسی منطقی تلاش های زیادی برای تبدیل گرامرها
به برنامه های منطقی صورت گرفته است. این کتاب یک رویکرد مکمل را
توصیف می‌کند که برنامه‌های منطقی را به عنوان دستور زبان می‌بیند
و نشان می‌دهد که چگونه این ارائه جدید از مبانی برنامه‌نویسی
منطقی، بر اساس مفهوم درخت‌های اثبات، می‌تواند زمینه را غنی‌تر
کند.
رویکرد نویسندگان بحث در مورد جنبه های دستوری را تسهیل می کند و
انواع جدیدی از معناشناسی را برای برنامه های معین معرفی می کند.
آنها فرمالیسم های گرامری مرتبط را بررسی می کنند و مقدمه ای جامع
برای گرامرهای مشخصه شناخته شده و گرامرهای van Wijngaarden ارائه
می دهند. مقایسه رسمی برنامه‌های قطعی با این دستور زبان‌ها به
نویسندگان اجازه می‌دهد مفاهیم گرامری جالب را شناسایی
کنند.
این کتاب همچنین شامل ارائه روش‌های تأیید برای برنامه‌های معین
مشتق شده از روش‌های تأیید برای گرامرهای ویژگی‌ها، و تجزیه و
تحلیلی از مشکل رخ دادن-بررسی به عنوان نمونه ای از نحوه اعمال
دیدگاه دستوری برنامه نویسی منطقی.
پیر درانسارت مدیر تحقیقات INRIA-Rocquencourt، Le Chesnay Cedex،
فرانسه است. یان مالوزینسکی استاد گروه کامپیوتر و علوم اطلاعات
در دانشگاه لینشوپینگ، سوئد است.
محتوا: مقدماتی. پایه ها پسوندهای گرامری برنامه های
منطقی. گرامرهای صفت. گرامرهای صفت و برنامه نویسی منطقی روش های
اثبات بررسی خواص اظهاری. مشکل بررسی اتفاق افتادن
توضیحاتی درمورد کتاب به خارجی
Within the field of logic programming there have been numerous
attempts to transform grammars into logic programs. This book
describes a complementary approach that views logic programs as
grammars and shows how this new presentation of the foundations
of logic programming, based on the notion of proof trees, can
enrich the field.
The authors' approach facilitates discussion of grammatical
aspects of, and introduces new kinds of semantics for, definite
programs. They survey relevant grammatical formalisms and
provide a comprehensive introduction to the well-known
attribute grammars and van Wijngaarden grammars. A formal
comparison of definite programs to these grammars allows the
authors to identify interesting grammatical concepts.
The book also includes a presentation of verification methods
for definite programs derived from verification methods for
attribute grammars, and an analysis of the occur-check problem
as an example of how the grammatical view of logic programming
can be applied.
Pierre Deransart is Research Director at INRIA-Rocquencourt, Le
Chesnay Cedex, France. Jan Maluszynski is Professor in the
Department of Computer and Information Science at Linköping
University, Sweden.
Contents: Preliminaries. Foundations. Grammatical
Extensions of Logic Programs. Attribute Grammars. Attribute
Grammars and Logic Programming. Proof Methods. Study of
Declarative Properties. The Occur-check Problem.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Frames for undergraduates
دانلود کتاب Ethnic, Racial and Religious Inequalities: The Perils of Subjectivity (Migration, Minorities and Citizenship)
دانلود کتاب La torture au Moyen Âge
دانلود کتاب Independent Commissions and Contentious Issues in Post-Good Friday Agreement Northern Ireland
