زبان های برنامه نویسی منطق در اطراف برای بیش از بیست سال بوده است. با وجود مزایای مورد انتظار از یک زبان برنامه نویسی سطح بسیار بالا بر اساس نظریه به خوبی توسعه یافته از منطق بیش از زبان های برنامه نویسی مرسوم (مانند C، C ++، Pascal و ADA) آنها تاثیر قابل توجهی در صنعت کامپیوتر نداشته است.
عطارد منطقی / کاربردی زبان برنامه نویسی جدید، که ترکیبی از وضوح و روشنی از برنامهنویسی اعلانی با تجزیه و تحلیل و تشخیص خطا ویژگی های پیشرفته استاتیک می باشد.
عطارد است بسیار بهینه الگوریتم اعدام ارائه کارایی به مراتب بیش از سیستم های برنامه نویسی منطق موجود، و نزدیک به سیستم های برنامه نویسی معمولی است.
عطارد آدرس مشکلات توسعه برنامه در مقیاس بزرگ، اجازه می دهد پیمانه، تدوین جداگانه، و متعدد بهینه سازی / زمان معامله آف
چه در این نسخه جدید است.
این آزادی bugfix رفع مشکلات ساخت در سولاریس و NetBSD و می افزاید: حمایت برای انتخاب کامپایلر C # در زمان پیکربندی.
مختلف دیگر اشکالات جزئی اند ثابت شده است.
همچنین برخی اضافات جزئی به کتابخانه استاندارد وجود دارد.
جدید در نسخه 13.05 است:
در نسل اجرایی 64 بیتی در ویندوز در حال حاضر پشتیبانی می کند.
بار تلفیقی برای برنامه های بسیار بزرگ اند بهبود یافته است.
چند بهینه سازی نمایندگی نوع جدیدی اضافه شده است.
دیباگر در حال حاضر پشتیبانی بهتر برای دست زدن به دسته از تماس های دو جانبه بازگشتی در پشته.
اتصال به کتابخانه GLFW شده است به توزیع اضافی اضافه شده است.
مجامع تولید با C # باطن هم اکنون می توانید با یک نام قوی امضا شود.
جدید در نسخه 11.01 است:
ما دو نوع جدیدی از حوزه به زبان اضافه کرده اند.
دامنه معرفی شده توسط یکی از require_det جدید کلمات کلیدی، require_semidet، require_multi، require_nondet، require_cc_multi، require_cc_nondet، require_erroneous و require_failure، به عنوان نام پیداست، نیاز به هدف در داخل محدوده به جبر داده شده است.
دامنه معرفی شده توسط require_complete_switch کلمه کلیدی نیاز به هدف در داخل محدوده، اگر آن را یک سوئیچ بر روی متغیر به نام های دامنه است، به یک سوئیچ کامل، یعنی به اسلحه برای همه علامت تابع در نوع روشن متغیر.
ما حالت semidet برای hash_table.fold / 4 و version_hash_table.fold / 4 اضافه کرده اند.
ما گزارهها و توابع جدید به ماژول assoc_list اضافه کرده اند. محمولات map_keys_only / 3 map_values_only 3 / و map_values / 3 مکمل توابع به همین نام. محمولات فیلتر / 3، negated_filter / 3، فیلتر / 4، ادغام / 3، که همچنین نسخه های تابع داشته باشد، انجام شغل بسیار شبیه به محمولات به همین نام در ماژول لیست، اما انجام عملیات مربوط به کلید به جای کل عناصر لیست.
ما ماژول ارزیابی تنبل از توزیع اضافی و به یک ماژول جدید کتابخانه استاندارد به نام `تنبل نقل مکان کرد. همچنین باطن-اگنوستیک ساخته شده است.
ما تغییرات به ماژول فهرستی از کتابخانه استاندارد ساخته شده اند:
ما اضافه list.member_index0 گزاره جدید / 3. آن را مانند list.member / 2 به جز که آن را نیز طول می کشد یک پارامتر به نمایندگی از شاخص بر اساس صفر از عنصر در لیست است.
ما اضافه list.map3_foldl گزاره جدید / 7 که نقشه بیش از یک لیست تولید سه لیست و یک مقدار خورده.
ما حالت semidet با باتری منحصر به فرد برای list.foldl3 / 8، list.foldl4 / 10، list.foldl5 / 12، و list.foldl6 / 14 اضافه شده است.
ما اضافه شده اند محمولات / 4 تقسیم و divide_by_set / 4 به ماژول tree_bitset از کتابخانه استاندارد.
ما اضافه شده اند محمولات set_ctree234.member / 2 و set_ctree234.non_empty / 1. ما اضافه کردن set_ctree234.from_list تابع / 1.
ما set_bbbtree.count گزاره / 2 و تابع set_bbbtree.count / 1 اضافه کرده اند. این جایگزین set_bbbtree.size گزاره / 2 است که در حال حاضر منسوخ شده است.
ما set_ordlist.non_empty گزاره / 1 اضافه کرده اند.
ما set_tree234.non_empty گزاره / 1 و set_tree234.from_list تابع / 1 اضافه کرده اند.
ما محمولات set_unordlist.non_empty 1 / و set_unordlist.count / 2، و تابع set_unordlist.count / 1 اضافه کرده اند.
همه از ماژول در کتابخانه استاندارد است که پیاده سازی ADT مجموعه، (مجموعه، set_ordlist، set_unordlist، set_bbbtree، set_tree234، و set_ctree234)، در حال حاضر پشتیبانی تاشو بیش از مجموعه با تا شش باتری. حالت های که ارائه باتری منحصر به فرد و عمدتا-منحصر به فرد برای مجموعه ای برابر نیز اضافه شده است.
ما تغییرات زیر به ماژول مجموعه ای از کتابخانه استاندارد ساخته شده اند:
ما اضافه شده اند از توابع unsafe_elem / 2 و اضافه / 2.
ما اضافه شده اند محمولات svset / 4، unsafe_svset / 4، foldl2 / 4، foldl2 / 6، foldr / 4، foldr2 / 6، map_foldl / 5، map_corresponding_foldl / 6 و عضو / 2.
ما محمولات version_array.foldl2 / 6 version_array.foldr / 4، و version_array.foldr2 / 6 به کتابخانه استاندارد اضافه شده اند.
ما حالت semidet با باتری منحصر به فرد و عمدتا-منحصر به فرد برای گزارههای زیر اضافه شده اند:
bimap.foldl2 / 6
bimap.foldl3 / 8
cord.foldl_pred / 4
cord.map_foldl / 5
list.map_corresponding_foldl2 / 8
list.map_corresponding_foldl3 / 10
list.map_corresponding3_foldl / 7
map.foldl3 / 8
ما گزاره unsorted_aggregate2 / 6 به ماژول راه حل از کتابخانه استاندارد اضافه شده اند.
ما چند گزارهها و توابع به ماژول نیاز از کتابخانه استاندارد اضافه شده اند. محمولات متاسفم / 2 و متاسفم / گزارش 3 عدم وجود یک ویژگی، در حالی که گزاره / 2 غیر منتظره و غیر منتظره / 3 گزارش یک خطای داخلی در برنامه؛ تمام نسخه های تابع بیش از حد. گزاره انتظار / 3 تماس غیر منتظره اگر یک بیماری است راضی نمی کند. ما در حال حاضر انتظار / 4 و همچنین انتظار / 3. برای انتظار / 4 و همچنین انتظار / 3، استدلال اول و آخر هستند شرایط انتظار می رود و پیغام خطا به ترتیب، اما با انتظار / 4، دو استدلال در عمق به تعیین محل خطا (به طور معمول نام وجود دارد ماژول و از گزاره به ترتیب). ما همچنین اضافه expect_not 3 / و expect_not / 4، که مانند انتظار / 3 و انتظار / 4 به ترتیب، به جز آنها انتظار دارند شرایط را * * * * * کاذب، درست نیست.
جدید در نسخه 10.04.2 است:
در این نسخه انتشار اشکال ثابت است. تعدادی از مشکلات که ناشی از کامپایلر به سقط جنین کرده اند ثابت شده است، برخی از عملیات های شکسته RTTI در درجه جاوا اند ثابت شده است، و ما راه حلی برای یک مشکل با شورای همکاری خلیج فارس نسخه 4.4 اضافه شده اند.
محدودیت ها:
پیاده سازی فعلی هنوز به طور کامل پیاده سازی زبان جیوه نیست. محدودیت های اصلی از اجرای فعلی به شرح زیر است:
ما aliasing به قطعی در سیستم حالت اجازه نمی دهد. بدون این، حالت نیمه نمونه غیر قابل استفاده هستند، و بنابراین تو در تو حالت منحصر به فرد.
کامپایلر هنوز استفاده نمی استفاده مجدد ساختار و یا زمان کامپایل جمع آوری زباله به بهره برداری حالت های منحصر به فرد.
نوع و حالت استنباط کمی ناقص هستند.
علاوه بر این، تصمیمات طراحی در این implemenation محدودیت زیر تحمیل کرده اند:
گزارهها و توابع می تواند در بسیاری از حدود 1000 استدلال داشته باشد.
نظر مرتبه بالاتر می تواند در بسیاری از حدود 500 استدلال داشته باشد.
نظر یافت نشد