Logic Grammars

گرامرهای منطقی هم در پردازش زبان طبیعی و هم در کاربردهای رسمی مانند نوشتن کامپایلر کاربرد گسترده ای پیدا کرده اند. این کتاب مفاهیم اصلی مربوط به پردازش زبان طبیعی و رسمی در برنامه‌نویسی منطقی را معرفی می‌کند و مشکلات معمولی را که ممکن است خواننده با آن مواجه شود را مورد بحث قرار می‌دهد و روش‌های مختلفی را برای حل آنها پیشنهاد می‌کند. مطالب اساسی به طور عمیق ارائه شده است. مطالب پیشرفته، شامل فرمالیسم‌ها و کاربردهای دستور زبان منطقی جدید، با دیدی به وسعت ارائه می‌شود. بخش‌های اصلی کتاب عبارتند از: گرامر برای زبان رسمی و تحقیقات زبان‌شناختی، نوشتن یک دستور زبان منطقی ساده، انواع مختلف گرامرهای منطقی، کاربردها، و گرامرهای منطقی و همزمانی. این کتاب برای علاقه مندان به برنامه نویسی منطقی، هوش مصنوعی، زبان شناسی محاسباتی، محاسبات نسل پنجم، زبان های رسمی و تکنیک های کامپایل در نظر گرفته شده است. ممکن است توسط دانش‌آموختگان سطح بالا، دانشجویان فوق‌لیسانس و محققان فعال در زمینه‌های فوق‌الذکر سودمند خوانده شود. آشنایی با Prolog و برنامه نویسی منطقی مفید خواهد بود. نویسندگان، با این حال، به طور خلاصه Prolog و رابطه آن با گرامرهای منطقی را توصیف می کنند. پس از خواندن گرامرهای منطقی، خواننده می‌تواند با ادبیات روزافزون این حوزه جدید و هیجان‌انگیز کنار بیاید.

Logic grammars have found wide application both in natural language processing and in formal applications such as compiler writing. This book introduces the main concepts involving natural and formal language processing in logic programming, and discusses typical problems which the reader may encounter, proposing various methods for solving them. The basic material is presented in depth; advanced material, involving new logic grammar formalisms and applications, is presented with a view towards breadth. Major sections of the book include: grammars for formal language and linguistic research, writing a simple logic grammar, different types of logic grammars, applications, and logic grammars and concurrency. This book is intended for those interested in logic programming, artificial intelligence, computational linguistics, Fifth Generation computing, formal languages and compiling techniques. It may be read profitably by upper-level undergraduates, post-graduate students, and active researchers on the above-named areas. Some familiarity with Prolog and logic programming would be helpful; the authors, however, briefly describe Prolog and its relation to logic grammars. After reading Logic Grammars, the reader will be able to cope with the ever-increasing literature of this new and exciting field.