دانلود کتاب Warren’s abstract machine.A tutorial reconstruction (به فارسی: ماشین انتزاعی وارن. بازسازی آموزشی) نوشته شده توسط «Hassan Aït-Kaci»
اطلاعات کتاب ماشین انتزاعی وارن. بازسازی آموزشی
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: The MIT Press
نویسنده: Hassan Aït-Kaci
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1991
تعداد صفحه: 144
حجم کتاب: 1 مگابایت
کد کتاب: 9780262510585 , 0262510588
توضیحات کتاب ماشین انتزاعی وارن. بازسازی آموزشی
این آموزش یکی از مهم‌ترین جنبه‌های برنامه‌نویسی منطقی، یعنی ماشین انتزاعی وارن یا WAM را آشکار می‌کند. ساخت گام به گام نویسنده از WAM ویژگی هایی را به صورت تدریجی اضافه می کند و جنبه های پیچیده طراحی را روشن می کند و اولین مطالعه دقیق WAM را از زمان طراحی آن در سال 1983 ارائه می دهد.
WAM که توسط دیوید اچ دی وارن توسعه داده شده است، یک کامپیوتر انتزاعی (غیر فیزیکی) است که به کامپایل و پیاده سازی زبان برنامه نویسی Prolog کمک می کند و تکنیک هایی را برای کامپایل و بهینه سازی محاسبات نمادین ارائه می دهد که می تواند فراتر از Prolog تعمیم یابد. اگرچه مزایای طراحی WAM به طور گسترده پذیرفته شده است، تعداد کمی توانسته اند به WAM نفوذ کنند. این مقدمه شفاف، ماشین‌های انتزاعی مجزا را برای هر بخش از نظر مفهومی مجزا از طرح تعریف می‌کند و آنها را اصلاح می‌کند، در نهایت آنها را به هم می‌چسباند تا یک WAM بسازد. یک شاخص تمام مفاهیم مهم مورد استفاده در WAM را نشان می دهد. فرض بر این است که خوانندگان درک روشنی از معناشناسی عملیاتی Prolog، به ویژه، یکپارچه سازی و عقب نشینی دارند، اما خلاصه ای کوتاه از مفاهیم Prolog لازم ارائه شده است.
مطالب: مقدمه. اتحاد – خالص و ساده. وضوح مسطح پرولوگ. بهینه سازی طراحی نتیجه. ضمیمه ها
Developed by David H. D. Warren, the WAM is an abstract (nonphysical) computer that aids in the compilation and implementation of the Prolog programming language and offers techniques for compiling and optimizing symbolic computing that can be generalized beyond Prolog. Although the benefits of the WAM design have been widely accepted, few have been able to penetrate the WAM. This lucid introduction defines separate abstract machines for each conceptually separate part of the design and refines them, finally stitching them together to make a WAM. An index presents all of the critical concepts used in the WAM. It is assumed that readers have a clear understanding of the operational semantics of Prolog, in particular, of unification and backtracking, but a brief summary of the necessary Prolog notions is provided.
Contents: Introduction. Unification—Pure and Simple. Flat Resolution. Prolog. Optimizing the Design. Conclusion. Appendixes.
دانلود کتاب «ماشین انتزاعی وارن. بازسازی آموزشی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.