Logtalk

در Logtalk فرمت شی گرا منبع باز برای زبان برنامه نویسی پرولوگ است. مجتمع برنامه نویسی منطق با برنامه نویسی شی گرا و رویداد محور، سازگار با اکثر کامپایلرها Prolog است.
Logtalk هر دو نمونه های اولیه و کلاس پشتیبانی می کند. علاوه بر این، آن را پشتیبانی برنامه نویسی مبتنی بر مولفه از طریق ترکیب مبتنی بر رده

ویژگی ها:.

جدایی بین رابط و اجرا:
دستورات گزاره (اعلان) را می توان در داخل پروتکل (رابط)، که می تواند توسط هر شی اجرا دارد.
اشیاء پارامتری:
نام شیء می تواند از لحاظ ترکیب حاوی متغیرهای رایگان است که می تواند مورد استفاده قرار گیرد به parametrize محمولات شی.
پشتیبانی از هر دو سیستم مبتنی بر نمونه طبقه و بر اساس:
شما ممکن است، در همان برنامه، سلسله مراتب بر اساس طبقه (با نمونه و روابط تخصص) و سلسله مراتب مبتنی بر نمونه (با روابط پسوند).
پشتیبانی از سلسله مراتب شی متعدد:
بدون نیاز به به یک سلسله مراتب تک طولانی ریشه در برخی از شی کلی محدود می شود.
خصوصی، محافظت می شود، و ارث عمومی:
Logtalk پشتیبانی خصوصی، محافظت می شود، و ارث عمومی در روشی مشابه به C. علاوه بر این، هر رابطه موجودیت می تواند با استفاده از کلمه کلیدی دامنه واجد شرایط است.
خصوصی، محافظت می شود، و گزارههای شی عمومی:
تنظیم دامنه شی خود را محمولات برای مطابقت با طراحی پروتکل خود را و اجازه دهید سیستم در زمان اجرا اجرا انتخاب کنید.
استاتیک و دینامیک اشیاء:
اشیاء می توانند به صورت استاتیک و یا پویا. اشیاء استاتیک در فایل های منبع که وارد شده و لود در همان راه به عنوان فایل پرولوگ تعریف شده است. شی پویا می تواند یا در فایل های منبع تعریف شده و یا ایجاد در زمان اجرا.
استاتیک و دینامیک محمولات شی:
هر شیء ایستا ممکن است گزاره هر دو استاتیک و دینامیک باشد.
پیش پردازنده بنابراین ما می توانیم نحو استاندارد پرولوگ استفاده کنید:
Logtalk با استفاده از نحو استاندارد پرولوگ با علاوه بر این از چند اپراتور و دستورات برای یک منحنی یادگیری صاف.
رویداد محور برنامه نویسی:
گزاره را می توان به طور ضمنی به نام وقتی که یک رویداد جاسوسی رخ می دهد، اجازه می دهد راه حل های برنامه نویسی که به حداقل رساندن جفت شی. علاوه بر این، حوادث ارائه پشتیبانی برای انعکاس رفتاری.
برنامه نویسی مبتنی بر کامپوننت:
گزاره را می توان در داخل مجموعه ها، که می تواند تقریبا به هر جسم وارد و محصور شده، بدون هیچ گونه تکرار کد و بدون در نظر گرفتن سلسله مراتب شی. بنابراین، اشیاء ممکن است از طریق ترکیب دسته، که عمل کد واحد به عنوان ریز دانه استفاده مجدد تعریف شده است.
پشتیبانی از چند ارث:
Logtalk پشتیبانی چند ارث از هر دو پروتکل و پیاده سازی. شی ممکن است چندین پروتکل پیاده سازی و گسترش، تخصص، و یا نمونه چند اشیاء. درگیری های چند ارث به طور ضمنی توسط الگوریتم Logtalk مراجعه و یا به صراحت با استفاده از دستورات گزاره حل شده است.
عملکرد خوب:
کد Logtalk است با استفاده از تکنولوژی همان است که استفاده می کنید برای ارسال کد پرولوگ کارآمد شده است. علاوه بر این، جستجوها روش ها توسط موتور زمان اجرا Logtalk ذخیره سازی، تا حد زیادی بهبود عملکرد. نتایج معیار برای برخی از کامپایلرهای پرولوگ اینجا در دسترس است.
بستن ادغام با استاندارد ISO پرولوگ:
Logtalk است برای یکپارچه سازی صاف با هر کامپایلر Prolog با قانون است که مطابق یا نزدیک به پیروی از پرولوگ استاندارد ISO طراحی شده است.
سازگار با اکثر کامپایلرها پرولوگ:
Logtalk رابط با کامپایلر Prolog با قانون خاص از طریق یک فایل پیکربندی حداقل و آن را با تقریبا هر کامپایلر مدرن سازگار است.
نسل خودکار از فایل های اسناد XML:
Logtalk به طور خودکار یک فایل مستندات در قالب XML برای هر شی، پروتکل، یا دسته وارد تولید. این سیستم شامل تمام XSL (T) فایل ها و اسکریپت لازم است برای تبدیل فایل های مستند به (X) HTML و PDF.
Logtalk اجرا بر روی تقریبا هر کامپیوتر با یک کامپایلر Prolog با قانون (محیط توسعه اصلی G4 APPLE POWERBOOK در حال اجرا MacOS اکس است). رابط بین Logtalk و یک کامپایلر Prolog با قانون خاص است از طریق یک فایل پیکربندی انجام شده است.
این پرونده حاوی برخی از گزاره Logtalk خاص و پیاده سازی برای ISO پرولوگ محمولات استاندارد در کامپایلر Prolog با قانون در دسترس نیست.
در نوشتن Logtalk من سعی کردم به دنبال استاندارد پرولوگ ISO هر زمان ممکن است. قابلیت های مورد نیاز Logtalk که در قسمت اول از استاندارد ISO تعریف نشده است:
دسترسی برای به دست خواص (پویا، استاتیک، built_in):
به شرطی که پرولوگ مورد علاقه خود را دارد این قابلیت در بالا ذکر شد، ساخت یک فایل پیکربندی بسیار آسان است. بسته Logtalk در حال حاضر شامل فایل های پیکربندی برای رایج ترین کامپایلر Prolog با قانون. برای عملکرد مطلوب، Logtalk مستلزم آن است که کامپایلر Prolog با قانون پشتیبانی از نمایه سازی برای اولین بار از آرگومان برای هر دو استاتیک و دینامیک کد.
توسعه Logtalk و تست شده است در حال حاضر با استفاده از کامپایلر های زیر پرولوگ (به ترتیب حروف الفبا) انجام:
GNU پرولوگ 1.2.18
5.4.7 SWI Prolog با قانون
4.5.7 صدای تند و تیز
به همین دلیل، این احتمالا بهترین انتخاب خود را برای اجرای Logtalk (ارائه است که شما به رایگان استفاده کنید یکی از این کامپایلر هستند).
علاوه بر این، Logtalk اجرا می شود با کمی و یا بدون تغییرات با کامپایلر Prolog با قانون زیر (به ترتیب حروف الفبا):
ALS پرولوگ 3.1
Amzi! پرولوگ 6.22 ~ 7.x
8.x BinProlog ~ 10.x
B-پرولوگ 4.0، 5.0، 6.x
1.10p5 CIAO پرولوگ
گرفتگی 5.5 ~ 5.8
اگر / پرولوگ 5.x
JIProlog 3.0.1-2
5.1.2a K-پرولوگ
LPA MacProlog32 1.25
LPA WinProlog32 4.0x
MasterProlog 4.1
1.1b10 پرولوگ گسترش
PrologII 4.5
QU-پرولوگ 6.7
Quintus به پرولوگ 3.3 ~ 3.5
SICStus پرولوگ 3.8 ~ 3.12.x
XSB 2.6 ~ 2.7

چه در این نسخه جدید است:

به اصلاح پیام ارسال مکانیسم به تماس ها & quot؛ قبل از & quot؛ را گرداننده رویداد قبل از انجام روش مراجعه به. این تغییر باید هیچ تاثیری بر کد موجود اما اجازه می دهد تا برخی از برنامه های جالب (به عنوان مثال شکست به جای پرتاب یک استثنا زمانی که یک پیام درک نمی کند).
دست زدن به بیشتر سازگار پرچم کامپایلر بین تنظیم مقادیر پرچم زمانی که تدوین / بارگذاری یک فایل و در هنگام استفاده از set_logtalk_flag / 2 ساخته شده است در گزاره: در هر دو مورد، تنظیم و & quot؛ smart_compilation ها & quot؛ پرچم در خاموش خواهد شد و & quot؛ تمیز & quot؛ را پرچم و تنظیم & quot؛ را تمیز & quot؛ را پرچم در خاموش خواهد شد و & quot؛ smart_compilation ها & quot؛ پرچم. همچنین، تنظیم و & quot؛ اشکال زدایی و & quot؛ پرچم در خاموش خواهد شد هر دو & quot؛ را smart_compilation ها & quot؛ و & quot؛ تمیز & quot؛ را پرچم.
اجازه می دهد تا نرم قطع ساختار کنترل، (* - & gt؛ به) / 2، هنگامی که بومی های به عقب پایان کامپایلر Prolog با قانون حمایت، به در بدن از قواعد دستور زبان (پس از یک سخن دانیل دیاز استفاده حالی که بحث در مورد حمایت GNU پرولوگ برای نرم برش سازه کنترل).
اصلاح اشکال کامپایلر Logtalk زمانی که & quot؛ را source_data ها & quot؛ پرچم در است با به عقب پایان کامپایلر Prolog با قانون که در آن امکان پذیر نمی باشد برای بازیابی موقعیت مدت به عنوان خوانده شده.
یک اشکال در تلفیقی از meta_non_terminal / 1 بخشنامه که در آن تنها اولین متا استدلال می شود به درستی پردازش را اصلاح کرد.
به روز شده در فایل پیکربندی گرفتگی برای تشخیص زمانی که در حال اجرا بر روی ویندوز 64 سیستم های بیت و به چشم پوشی از غیر گزاره و غیر اپراتور صادرات وقتی که قبل از پردازش معاونت / 1 دستورات.
به روز شده در چارچوب تست واحد برای چاپ پیام های آموزنده تر برای آزمایش واحد شکست خورده است.
اضافه شده گزاره تقسیم / 4 (برای تقسیم یک لیست را به لیست های فرعی به طول داده شده) به & quot؛ را listp & quot؛ باشد و & quot؛ لیست & quot؛ باشد و & quot؛ difflist ها & quot؛ نهادهای کتابخانه.
به روز شده در & quot؛ را سی سی و & quot؛ به عنوان مثال با یک تعریف برای پوسته / 2 گزاره برای CxProlog.
تغییر نام اشیاء در & quot؛ را مایل به & quot؛ به عنوان مثال برای جلوگیری از یک درگیری نام هنگام اجرای آزمون به عنوان مثال واحد.
اصلاح اشکال در نصب ویندوز است که تشخیص صدای تند و تیز 64 بیت نسخه های جلوگیری کرد. با تشکر از استپان Ipatov برای گزارش اشکال.
اصلاح اشکال در نصب ویندوز است که از سفارشی دایرکتوری نصب کاربران جلوگیری کرد. با تشکر از دانیل Moniz از برای گزارش اشکال و به گوین لمبرت برای تشخیص اشکال.
به روز شده در اسکریپت نصب ویندوز برای بهبود تشخیص XSB و به طور پیش فرض نصب فقط فایل هر کاربر زمانی که توسط یک کاربر غیر admin در یک کامپیوتر که در آن Logtalk در حال حاضر نصب اجرا کنید.
اضافه شدن پشتیبانی عمومی برای لاتکس و & quot؛ لیست & quot؛ را بسته. یادداشت اضافه شده در & quot؛ را ضرب و & quot؛ و & quot؛ texmates ها & quot؛ بسته های لاتکس.
یادداشت اضافه شده در ویرایشگر متن Textastic اپل.
اضافه شده رنگ آمیزی نحو اساسی و کد تاشو حمایت از ویرایشگر متن از UltraEdit.
به روز شده در بسته نرم افزاری تکستمیت برای غیر فعال کردن اصلاحات دندانه دار کردن خودکار معرفی شده در نسخه توسعه تکستمیت 2.0.

جدید در نسخه 2.44.0 است:

به تغییر معناشناسی تکمیل دسته اجازه می دهد تا وصله هر دو اعلامیه گزاره و تعاریف گزاره از اشیاء تکمیل شود. این است که با تضمین این که اعلامیه گزاره و تعریف متغیر در دسته مکمل شروع قبل به دنبال شی تکمیل خود و یا به اشخاص مرتبط با آن انجام می شود.
به روز شده در کامپایلر Logtalk به منظور تولید یک هشدار زمانی که یک دسته مکمل برای یک شیء تکمیل است که با پشتیبانی از تکمیل دسته وارد شده بود خاموش.
اصلاح اشکال در پردازش متا تماس برای متا محمولات که در آن زمینه فراخوانی می شود مجموعه ای به & quot؛ این ها & quot؛ به جای & quot؛ را فرستنده ها & quot؛ هر زمان که یک متا استدلال یکی از :: / 2، {} / 1 بود،

جدید در نسخه 2.43.3 است:

به تغییر کامپایلر را به حساب استفاده / 2 بخشنامه زمانی که تدوین تماس به انعکاس ساخته شده است در روش. این تغییر معانی از استفاده / 2 بخشنامه گسترش و اجازه می دهد تا مهاجرت آسان تر از برنامه های ساده پرولوگ به Logtalk.
به روز شده در اجرای predicate_property / 2 ساخته شده است در روش، با اضافه کردن یک ویژگی دامنه / 1.
به روز کامپایلر Logtalk برای اضافه کردن اطلاعات مربوط به یک نام فایل منبع، دایرکتوری فایل منبع، و گزینه های کامپایلر فایل منبع به فایل های پرولوگ تولید می شود. در نسخه های قبلی، این اطلاعات تنها زمانی که بارگذاری یک فایل منبع به ثبت رسید. تغییرات ساده سازی برنامه های کاربردی که در آن کتابخانه Logtalk قبل وارد شده و قبل از لود می باشد.
به روز کامپایلر Logtalk برای چاپ نام شی قلاب مورد استفاده در تدوین فایل های منبع که & quot؛ را قلاب ها & quot؛ پرچم کامپایلر تعریف شده است.
به روز شده ساخته شده است در دیباگر به منظور اجتناب از نقاط انتخاب های غیر ضروری ایجاد شده توسط به عقب پایان کامپایلر Prolog با قانون که جمع / 1 اجرای نتواند به استفاده از معناشناسی به روز رسانی منطقی به برقراری تماس قطعی.
اصلاح اشکال در کامپایلر Logtalk کنترل در زمان اجرا که در آن شکست خورده به decompile شناسه نهاد داخلی را در هنگام پرتاب نهاد استثنا وجود.
به روز شده در ناب پرولوگ فایل پیکربندی، اضافه کردن شاخص / 1 دستورات برای برخی از گزاره های پویا استفاده شده توسط جداول Logtalk زمان اجرا داخلی.
به روز شده در فایل ادغام SWI-Prolog با قانون برای تست در دسترس بودن شاخص / 1 بخشنامه، است که توسط تجربی پشتیبانی جدید SWI-Prolog با قانون برای فقط در زمان نمایه سازی چند استدلال توصیه نمی شوند.
او محمولات توالی / 4 (برای تولید عواقب از یک لیست با طول داده شده)، جایگزین / 4 (برای جایگزینی عناصر در یک لیست) و hamming_distance / 3 به کتابخانه ها & quot؛ listp ها & quot؛ و & quot؛ لیست ها & quot؛ اشخاص.
اضافه شده euclidean_norm / 2، chebyshev_norm / 2، manhattan_norm / 2، euclidean_distance / 3، chebyshev_distance / 3، manhattan_distance / 3، و scalar_product / 3 محمولات به کتابخانه ها & quot؛ numberlistp ها & quot؛ و & quot؛ numberlist ها & quot؛ اشخاص.
اصلاح برخی از اشکالات احمقانه در تعریف از & quot؛ را شخصیت ها & quot؛ شی کتابخانه محمولات is_bin_digit / 1، is_octal_digit / 1، is_dec_digit / 1 و 1 / is_hex_digit.
به روز شده در کتابخانه ها & quot؛ all_loader.lgt ها & quot؛ meta_compiler_loader.lgt ها & quot؛ فایل لودر را نیز دکمه & quot بار. فایل لودر.

جدید در نسخه 2.43.1 است:

به تغییر کامپایلر را به حساب استفاده / 2 بخشنامه زمانی که تدوین تماس به پایگاه داده ساخته شده است در روش. این تغییر معانی از استفاده / 2 بخشنامه گسترش و اجازه می دهد تا مهاجرت آسان تر از برنامه های ساده پرولوگ به Logtalk.
اضافه شدن پشتیبانی تجربی برای استفاده از یک قالب گزاره به عنوان آرگومان به coinductive / 1 بخشنامه. این قالب اجازه می دهد تا از خصوصیات که استدلال برای رسیدن به موفقیت coinductive معنی دار می باشد. بر اساس قابلیت های مشابه در بر DRA متا مترجم از Feliks Kluzniak یافت.
پشتیبانی بهبود یافته برای اشکال زدایی محمولات coinductive هنگام استفاده از Logtalk ساخته شده است در دیباگر.
پشتیبانی coinduction حذف برای CxProlog. نسخه فعلی از این کامپایلر فاقد نرم برش ساخته شده است در گزاره یا کنترل ساختار، که در حال حاضر توسط اجرای coinduction تجربی مورد نیاز است.
برداشته محدودیت بلند مدت است که تعریف کاربر از محمولات لفاف بسته بندی برای bagof / 3 و setof / 3 ساخته شده است در روش هر زمان که بحث هدف ممکن است ^ / 2 سور وجودی استفاده جلوگیری کرد.
اضافه شدن پشتیبانی برای & quot؛ را ^ & quot؛ را متا گزاره حالت متا استدلال تصریح پیشنهاد شده توسط ژان Wielemaker و بر روی SWI-Prolog با قانون 5.11.25. این تصریح حالت زمانی تعریف فراغ برای bagof / 3 و setof / 3 ساخته شده است در روش هر زمان که بحث هدف ممکن است ^ / 2 سور وجودی استفاده مفید است.
او به & quot؛ prolog_compiler ها & quot؛ و & quot؛ prolog_loader ها & quot؛ پرچم کامپایلر، که اجازه می دهد عبور گزینه به عقب پایان کامپایلر Prolog با قانون ساخته شده است در گزاره که بر روی دیسک کامپایل و بار (وارد) پرولوگ پرچم. مقدار پیش فرض برای هر دو پرچم لیست خالی است.
اصلاح یک اشکال که تدوین تماس به اختصاصی پرولوگ ساخته شده است در محمولات متا که در آن کامپایلر Logtalk می تواند تلاش برای پردازش استدلال غیر متا به عنوان اهداف. این اشکال تنها خود را با برخی از عقب پایان کامپایلر Prolog با قانون مانند گرفتگی آشکار می شود.
اصلاح اشکال در پردازش دستورات تلفیقی شرطی.
یک اشکال است که عبور نام مستعار / 3 دستورات در تماس به create_object / 4 مانع، 4 / create_category، و create_protocol / 3 ساخته شده است در گزاره را اصلاح کرد.
حذف از ساخته شده است در شیء & quot؛ logtalk ها & quot؛ decompile_predicate_head / 4 و decompile_predicate_indicator / 4 روش توصیه نمی شوند.
پشتیبانی حذف برای Logtalk طولانی توصیه metapredicate / 1 بخشنامه.
اصلاح اشکال عملکرد در هنگام ذخیره تماس های به محمولات رده که در آن مطالب ذخیره سازی می تواند مشخص تر از حد لازم در هنگام کار با دسته پارامتری.
ذخیره بهبود و & quot؛ فوق العاده و & quot؛ خواستار از درون نمونه های اولیه. پیش از این، تمامی نوشته های ذخیره سازی خواهد بود ارزش ها & quot تخصصی، خود به & quot؛ به منظور به درستی با موارد خاص که در آن یک شی هم تمثل و متخصص اشیاء دیگر رسیدگی کند.
به روز کامپایلر Logtalk برای فعال هر اعلان اپراتور بر روی دستورات دامنه گزاره در طول تلفیقی از اشخاص که حاوی دستورات.
بهبود عملکرد محمولات coinductive هنگام استفاده از به عقب پایان کامپایلر Prolog با قانون مانند SICStus پرولوگ که ساختار کنترل نرم برش فراهم نمی آورند اما ارائه نرم برش ساخته شده است در متا گزاره (اگر / 3).
اصلاح یک اشکال که در آن گزارش نادرست از هشدارهای تلفیقی / بارگذاری می توان چاپ هنگامی که یک فایل منبع وارد شده بود / پر شده با پرچم کامپایلر & quot؛ گزارش ها & quot؛ خاموش.
اضافه شده یک & quot؛ streamvars ها & quot؛ شی کتابخانه، مشتق شده از quot موجود و. assignvars ها & quot؛ رده کتابخانه، شامل پشتیبانی برای اضافه کردن و بازیابی نظر (که ممکن است متغیر) از یک & quot؛ جریان ها & quot؛ متغیر.
به روز شده در & quot؛ را coinduction ها & quot؛ به عنوان مثال، با استفاده از افزایش coinductive / 1 بخشنامه و گسترش تعدادی از نمونه های فردی است که می تواند با استفاده از SICStus پرولوگ اجرا شود. اضافه شده یک مدل چک کردن به عنوان مثال، با استفاده از coinduction، coroutining، و محدودیت، که توسط ندا Saeedloei.
به روز شده در & quot؛ را metapredicates ها & quot؛ به عنوان مثال با کد نمونه نشان میدهد که چگونه به تعریف فراغ برای bagof / 3 و setof / 3 ساخته شده است در روش زمانی که متا استدلال ممکن است متغیر اگزیستانسیالیسم واجد شرایط باشد.
به روز شده در & quot؛ را سی سی و & quot؛ به عنوان مثال، اصلاح تعاریف گزاره برای چند به عقب پایان کامپایلر Prolog با قانون و اضافه کردن برخی از تست های واحد پایه.
به روز شده در & quot؛ را کدگذاری و & quot؛ به عنوان مثال با پشتیبانی محدود برای ناب پرولوگ.
اضافه شده مطالب از دست رفته برای meta_non_terminal / 1 بخشنامه و برای تماس // N غیر ترمینال به & quot؛ را کمک کند و & quot؛ به عنوان مثال.
اضافه شده تجزیه کننده برای PDDL 3.0 فایل ها، ارائه شده توسط رابرت Sasak.
اضافه شده کد تاشو حمایت از ویرایشگر متن SubEthaEdit. اضافه شده کد تاشو پشتیبانی از بلوک های تلفیقی شرطی به ویرایشگرهای متنی کیت، VIM، و تکستمیت.
به روز شده اسکریپت ادغام به منظور بارگذاری مسیرهای کتابخانه فایل قبل از بارگذاری Logtalk کامپایلر / زمان اجرا. این تغییر با هدف ساده بارگذاری کتابخانه و به عنوان مثال فایل ها از فایل های تنظیمات. علاوه بر این، همچنین برای دایرکتوری نصب Logtalk در $ HOME / سهم نگاه زمانی که متغیر محیطی LOGTALKHOME تعریف نشده است. با تشکر از VAtor سانتوس کوستا برای پیشنهاد.
به روز شده در نصب ویندوز به منظور حمایت ناب پرولوگ و تشخیص صدای تند و تیز 64 بیت نسخه های.

جدید در نسخه 2.43.0 است:

در حمایت تجربی اضافه شده برای ناب پرولوگ.
گزارش خطا تغییر توسط کامپایلر Logtalk و در زمان اجرا. همه شرایط استثنا در حال حاضر استفاده، در صورت امکان، خطا (خطا، logtalk (هدف، نهاد))
فرمت. تغییر خطا داخلی چک کردن استفاده، هر زمان که عملی، جدید '$ lgt_must_be' / 2-3 محمولات داخلی.
اضافه شده به & quot؛ بهینه سازی و & quot؛ پرچم، که مقدار پیش فرض quot است و، در و quot؛ کلیک کنید این پرچم اجازه می دهد تا کاربر را خاموش بهینه سازی موجود برای مثال وظایف اشکال زدایی (
بهینه سازی در حال حاضر اجرا شامل حذف تماس های کار برکنار واقعی / 0 تا از بدن از بند گزاره وارد شده و حذف
تماس برکنار به (=) / 2 را از بدن از بند تولید شده توسط گسترش قواعد دستور زبان).
اضافه شده یک & quot؛ source_data ها & quot؛ پرچم، که مقدار پیش فرض quot است و، در و quot؛ کلیک کنید با استفاده از این پرچم را به روی & quot؛ در & quot؛ باشد Logtalk اطلاعات را حفظ خواهد کرد نمایندگان با استفاده از حالت / 2،
اطلاعات / 1-2، استفاده می کند / 2، و use_module / 2 دستورات به علاوه داده های مکان منبع (از جمله نام فایل منبع و شماره خط)، مفید هم برای اشکال زدایی
و برای یکپارچه سازی با ابزار توسعه است. این پرچم را می توان به منظور تولید کد فشرده تر تبدیل شده است. parameter_names / 1 هدف و
اموال رده است به منظور جلوگیری از افزونگی حذف شده است.
اجرا / 1 محافظت و خصوصی / 1 خواص برای اشیاء، پروتکل، و دسته ها. همراه با مردم / 1 اموال، این خواص
اجازه می دهد تا لیستی از گزاره اعلام شده در نهاد برای محاسبات انعکاسی دیده می شود. پیاده سازی اعلام / 2/2 تعریف می کند، شامل / 3،
فراهم می کند و / 3 خواص برای دسترسی به خواص محمولات اعلام و تعریف در یک نهاد. خواص اعلامیه شامل line_count / 1، شماره خط از دستور دامنه گزاره. خواص تعریف شامل line_count / 1، شماره خط از سر از اول
بند برای گزاره، و number_of_clauses / 1، تعداد بند برای گزاره. همچنین اجرا استفاده تجربی / 3 و use_module / 3 خواص.
اضافه شده یک ویژگی گزاره، redefined_from / 1، اجازه می دهد پرس و جو در مورد شی یا دسته که شامل تعریف گزاره است که تعریف.
اضافه شده loaded_file / 3 گزاره به & quot؛ را logtalk ها & quot؛ ساخته شده در جسم، که مکمل loaded_file / 2 گزاره های موجود و دسترسی می دهد به
گزینه های صریح و روشن استفاده می شود که فایل وارد شده بود و لود می شود.
پشتیبانی کامپایلر اجرا برای meta_non_terminal / 1 بخشنامه و تماس // N ساخته شده است در غیر ترمینال.
تلفیقی از قواعد دستور زبان با از بین بردن حمایت برای برخورد با خطاهای دامنه و وجود غیر ترمینال در حکومت دستور زبان ساده
سطح به جای سطح گزاره. اگر چه این ویژگی می تواند مفید باشد در هنگام اشکال زدایی قواعد دستور زبان، آن پیچیده ادغام Logtalk با ابزار توسعه پرولوگ بومی.
به روز شده در کامپایلر Logtalk به منظور صرفه جویی در نهاد مکان بند و این اطلاعات در دسترس به عقب پایان کامپایلر Prolog با قانون.
به روز شده در کامپایلر Logtalk به منظور اجتناب از ایجاد غیر ضروری بند کلی داخلی برای اعلام گزاره ها و جداول تعریف برای اشخاص پویا.
به روز شده در کامپایلر Logtalk به منظور مانع با استفاده از گزارههای multifile برای شکستن یگدیگر جسم. اعلامیه اولیه
نهاد باید وجود داشته باشد، شامل هر دو دامنه و بخشنامه multifile برای گزاره. علاوه بر این، تعریف بند برای multifile
نهاد :: عمل کننده / Arity بدون مربوطه multifile / 1 بخشنامه در حال حاضر در یک خطای کامپایل به جای به سادگی یک هشدار منجر خواهد شد.
حذف محدودیت کامپایلر Logtalk که جدا از 1 / و پویا / 1 دستورات مجبور به قبل از تماس به محمولات اعلام کرد.
بهبود گزارش کامپایلر Logtalk تماس misspelt به غیر پایانه در قواعد دستور زبان.
اجازه استفاده از: / 1 کنترل ساخت در بدن از قواعد دستور زبان.
هنگامی که اشکال زدایی پیام های مشخص شده در مصارف / 2 دستورات، پیام در حال حاضر چاپ به طور ضمنی به عنوان در کد منبع نوشته شده توسط کاربر واجد شرایط است.
تغییر محمولات داخلی مورد استفاده در اجرای ساخته شده است در گزاره چند نخ به منظور تسهیل در ادغام با
سطح بالا ابزار اشکال زدایی که نیاز به هم decompilation از کد پرولوگ تولید می شود.
یک اشکال در Logtalk 2.42.4 در تلفیقی از گزاره نهاد که تماس محمولات همزمان معرفی اصلاح کرد. این اشکال در تماس
در حال به جای به اشکال غیر همزمان از محمولات، که در شکست تصادفی از اهداف موضوع آشکار ساخته شده است.
اصلاح اشکال طولانی ایستاده که در آن یک-زمان اجرا وارد متا تماس در یک دسته بندی می توان به عنوان یک تماس به یک گزاره از جسم وارد
واردات دسته جای به عنوان یک تماس به یک دسته بندی گزاره های محلی.
اصلاح اشکال طولانی ایستاده که در آن ارزش پرچم نهاد تنظیم به صورت محلی با استفاده از set_logtalk_flag / 2 بخشنامه شکست خواهد خورد را به نهاد ذخیره
کد وارد شده.
اصلاح اشکال طولانی ایستاده زمانی که لغو گزاره پویا در یک شی غیر نمونه که در آن لغو / 1 روش بدون موفقیت
گزاره که در واقع لغو کرد.
اصلاح اشکال در تنظیم متن اعدام درست زمانی که خواستار متا استدلال که نیاز به یک مجموعه در زمان اجرا در زمینه
و & quot؛ فرستنده و quot؛ کلیک کنید
اصلاح اشکال در تلفیقی از تماس های صریح و روشن واجد شرایط را به بخش متا محمولات که در آن صلاحیت ماژول می توان از کاهش یافته است
تماس وارد شده. توجه داشته باشید که این تماس خواهد معناشناسی Logtalk متا گزاره استفاده (به عنوان مثال متا-استدلال خواهد شد در زمینه نام
تماس گیرنده) به جای ماژول پرولوگ متا گزاره معانی معمول است.
اصلاح یک اشکال که در آن پشته coinduction شد مقداردهی اولیه نیست که با استفاده از

چه در نسخه 2.42.4 جدید است:

این نسخه شامل کامپایلر، زمان اجرا، و چند نخ بهینه سازی عملکرد، بهبود می بخشد پیغام خطا کامپایلر برای / 1 تعریف 1 / و پویا دستورات، می افزاید: حمایت برای حفظ اطلاعات دامنه اپراتور و خروجی این اطلاعات را به XML به صورت خودکار تولید مستند فایل ها، اضافه می کند محمولات ابزار جدید به شیء logtalk، بهبود می بخشد چند نمونه برنامه نویسی، شامل یک راهحل برای اشکال حذف برنامه SWI-Prolog با قانون در ویندوز، و ویژگی های به روز رسانی قابلیت حمل برای (قرآن)، پرولوگ، SICStus پرولوگ، SWI-Prolog با قانون، XSB، و صدای تند و تیز.

جدید در نسخه 2.42.3 است:

در این نسخه اضافه می کند پشتیبانی از تماس محمولات پویا در زمینه & quot؛ این ها & quot؛ از درون دسته، می افزاید: حمایت برای سر قبل از وارد بند، شامل رفع اشکالات و بهبود ساخته شده است در دیباگر، شامل کتابخانه ها بهبود یافته و نمونه، می افزاید: حمایت برای indexicals هنگام استفاده از SICStus پرولوگ CLP (FD) کتابخانه، اضافه می کند به عنوان مثال تجربی با استفاده از متغیرهای نسبت داده در اشیاء و مجموعه ها، و ویژگی های به روز رسانی قابلیت حمل برای تحت الشعاع قرار دادن، GNU پرولوگ، SICStus پرولوگ، و SWI-Prolog با قانون.

جدید در نسخه 2.42.2 است:

در این نسخه بهبود می بخشد تلفیقی از تماس به بخش محمولات، بهبود می بخشد چک کردن از متا استدلال در تماس متا گزاره، بهبود پشتیبانی از لامبدا عبارات، شامل یک کامپایلر بهینه سازی برای تماس به کتابخانه متا محمولات، می افزاید: کتابخانه جدید برای ورود به سیستم رویدادها، کار با روابط فاصله زمانی، و با استفاده از شمارنده عدد صحیح، بهبود می بخشد نمونه و کتابخانه های موجود، می افزاید: حمایت برای استفاده از بسته SyntaxHighlighter بر اساس جاوا اسکریپت، و ویژگی های قابل حمل به روز رسانی برای GNU پرولوگ، (قرآن)، پرولوگ، SICStus پرولوگ، SWI-Prolog با قانون، و XSB.

جدید در نسخه 2.42.1 است:

در این نسخه اضافه می کند پشتیبانی از متا گزاره شاخص حالت جدید، قادر می سازد پشتیبانی از بیش اختصاصی پرولوگ ساخته شده است در متا محمولات.
پشتیبانی از تشخیص و گزارش از دست رفته پویا 1 / و جدا از / 1 دستورات اضافه شد.
پرچم پرز جدید اضافه شد.
دو اشکالات تلفیقی متا گزاره اصلاح شد.
برخی از نمونه های به روز شد.
به روز رسانی حمل برای B-پرولوگ، SICStus پرولوگ، SWI-Prolog با قانون، XSB، و صدای تند و تیز ساخته شده است.