دانلود کتاب The Godel Programming Language (Logic Programming)
49,000 تومان
زبان برنامه نویسی گودل (برنامه نویسی منطقی)
| موضوع اصلی | زبان شناسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | The MIT Press |
| تعداد صفحه | 370 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 0262082292,9780262082297 |
| نویسنده | John Lloyd, Patricia Hill |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 1994 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
زبان برنامه نویسی گودل (برنامه نویسی منطقی)
G?del یک زبان برنامه نویسی جدید، همه منظوره و اعلانی است که بر پارادایم برنامه نویسی منطقی مبتنی است و می تواند به عنوان جانشین Prolog در نظر گرفته شود. این کتاب یک مرور کلی آموزشی از G?del ارائه میکند، برنامههای مثالی را ارائه میدهد، یک تعریف رسمی از نحو و معنای زبان ارائه میدهد، و مطالب پسزمینه منطق را پوشش میدهد. زبان G?del از انواع و ماژول ها پشتیبانی می کند. دارای مجموعه ای غنی از ماژول های سیستم است و حل محدودیت ها را در چندین حوزه ارائه می دهد. همچنین امکانات متالوژیکی را ارائه می دهد که پشتیبانی قابل توجهی را برای متابرنامه هایی که تجزیه و تحلیل، تبدیل، کامپایل، تأیید، اشکال زدایی و موارد مشابه را انجام می دهند، ارائه می دهد. ماهیت اعلامی G?del آن را برای استفاده به عنوان یک زبان آموزشی مناسب می کند، شکافی را که در حال حاضر بین تئوری و عمل در برنامه نویسی منطقی وجود دارد کاهش می دهد، ابزارهای مهندسی نرم افزار پیشرفته مانند اشکال زداهای اعلامی و مولدهای کامپایلر را ممکن می کند، و تلاش درگیر را کاهش می دهد. در ارائه یک پیاده سازی موازی از زبان، و زمینه قابل توجهی برای موازی سازی در چنین پیاده سازی ها ارائه می دهد. سری برنامه نویسی منطقی
G?del is a new, general-purpose, declarative programming language that is based on the paradigm of logic programming and can be regarded as a successor to Prolog. This book gives a tutorial overview of G?del, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. The G?del language supports types and modules. It has a rich collection of system modules and provides constraint solving in several domains. It also offers metalogical facilities that provide significant support for metaprograms that do analysis, transformation, compilation, verification, debugging, and the like. The declarative nature of G?del makes it well suited for use as a teaching language, narrows the gap that currently exists between theory and practice in logic programming, makes possible advanced software engineering tools such as declarative debuggers and compiler generators, reduces the effort involved in providing a parallel implementation of the language, and offers substantial scope for parallelization in such implementations. Logic Programming series
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.