پرولوگ یک زبان برنامه نویسی منطقی هدف کلی است که از تماس در 1،972 منتشر شد، با تعداد کمی از به روز رسانی است.
در Logtalk برای اضافه کردن ویژگی های مدرن تر به پرولوگ، به طور عمده بهبود عملکرد، عبارات لامبدا، قواعد دستور زبان، خطاهای کامپایلر بهبود یافته و هشدار گزارش ایجاد شده است.
در در بالای این، اضافه کردن یک فرایند نصب را آسان تر و پرولوگ به روز رسانی سازگاری کامپایلر.
این باعث می شود Logtalk، جایگزین مناسب تر بهتر به پرولوگ در روز مدرن AI و زبان شناسی رایانه سناریوهای، یک زبان چند نمونه بسیار قوی تر، مناسب برای رویداد محور و سطح بالا چند نخ های برنامه نویسی.
در حال حاضر نحو Logtalk گسترش نحو پرولوگ استاندارد و شما می توانید Logtalk در این کامپایلر Prolog با قانون را اجرا کنید:
در B-پرولوگ
در CxProlog
در تحت الشعاع قرار دادن
در گنو پرولوگ
در ناب پرولوگ
در قرآن-پرولوگ
در SICStus پرولوگ
در SWI پرولوگ
در XSB
در صدای تند و تیز
چه در این نسخه جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 3.02.2 جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 3.02.1 جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 3.00.4 جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 3.00.2 جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 3.00.1 جدید است:
بهبود:
تغییرات برچسب ها به کار برده که در زمان نوشتن کد کامپایل شده برای کمک به حداقل رساندن حجم فایل پرولوگ متوسط تولید شده است که استفاده از آن از برچسب ها برای تصمیم گیری زمانی که برای تزئین نظر وارد شده با داده های مکان منبع (در حال حاضر، تنها SWI-پرولوگ طول می کشد استفاده از داده های مکان) .
درست شد:
یک فایل می توانید بیش از یک فایل پدر و مادر.
چه در نسخه 2.44.1 جدید است:
یک اشکال اصلاح شده در تلفیقی از meta_non_terminal / 1 بخشنامه که در آن تنها اولین متا استدلال به درستی پردازش شده است.
به روز شده در فایل پیکربندی گرفتگی به هنگام تشخیص در حال اجرا در ویندوز 64 سیستم بیت و به چشم پوشی غیر محمول و غیر اپراتور صادرات که قبل از پردازش معاونت / 1 دستورات.
به روز شده در چارچوب آزمون واحد برای چاپ پیام های آموزنده برای تست واحد شکست خورده است.
اضافه شده محمول تقسیم / 4 (برای تقسیم یک لیست را به لیست های فرعی با طول داده شده) به & quot؛ را listp و & quot ؛، & quot؛ را لیست و & quot ؛، و & quot؛ difflist و & quot؛ نهادهای کتابخانه.
به روز شده در & quot؛ را سی سی و & quot؛ به عنوان مثال با یک تعریف برای پوسته / 2 محمول برای CxProlog.
تغییر نام از اشیاء در & quot؛ را مایل و & quot؛ به عنوان مثال برای جلوگیری از تضاد نام در هنگام اجرای آزمایش به عنوان مثال واحد.
تصحیح یک اشکال در نصب ویندوز است که تشخیص صدای تند و تیز 64 بیت نسخه های جلوگیری کرد. با تشکر به استپان Ipatov برای گزارش اشکال.
چه در نسخه 2.44.0 جدید است:
این نسخه تغییر معناشناسی تکمیل دسته ها، اجازه می دهد استفاده از آن به پچ کد شی موجود، رفع اشکالات دو در پردازش فرا تماس، اجازه می دهد تا لیست باز پایانه در بدن از قوانین DCG، دو نمونه جدید اضافه می کند، و بهبود پشتیبانی از ویرایشگر متن Vim و برای ctags زیادهخواه.
چه در نسخه 2.43.3 جدید است:
تصحیح یک اشکال در کامپایلر 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، و is_hex_digit / 1.
به روز شده در کتابخانه و & quot؛ all_loader.lgt و & quot؛ meta_compiler_loader.lgt و & quot؛ فایل لودر را نیز دکمه & quot بار؛ فایل لودر.
چه در نسخه 2.43.2 جدید است:
بهینه سازی پردازش اعلان های اپراتور هنگام کامپایل فایل های منبع و به صورت پویا ایجاد نهادهای جدید.
به روز رسانی کامپایلر Logtalk به استفاده از & quot؛ را ماژول ها & quot؛ پرچم کامپایلر در هنگام تست برای پشتیبانی از ماژول های پرولوگ، در نتیجه جلوگیری از مسائل تلفیقی با به عقب پایان کامپایلر Prolog با قانون است که به یک سیستم ماژول پشتیبانی نمی کند اما هنوز هم تعریف (:) / 2 به عنوان یک ساخته شده است در ساختار کنترل و یا محمول.
پشتیبانی حذف برای & quot؛ را startup_message و & quot؛ پرچم کامپایلر و & quot؛ پرچم (جمع و جور) و & quot؛ و & quot؛ پرچم (طولانی) و & quot؛ ارزش ها، به جای یک ارزش واحد، و & quot؛ و & quot ؛، پرچم که مربوط به قدیمی و & quot؛ پرچم (جمع و جور) و & quot؛ ارزش.
یک اشکال اصلاح هنگامی که با استفاده از OP / 3 دستورات با، create_object / 4 create_protocol / 3، و create_category / 4 ساخته شده است در گزاره که در آن اظهارات اپراتور محلی خواهد بود در خارج از نهادهای جدید قابل مشاهده است.
تصحیح یک اشکال که در آن ایجاد یک نهاد جدید پویا در زمان اجرا یک حسابداری گزاره پویا دیگر استفاده می شود که نمی خواهد لغو می شود زمانی که نهاد است ملغی می شود را تعریف کنیم.
تصحیح یک اشکال کامپایلر که در آن یک & quot؛ فوق العاده و & quot؛ پاسخ از درون یک شی است که تنها خود را تمثل و تخصص هر جسم یک استثنا به جای شکست پرتاب.
به روز شده در & quot؛ را معیار و & quot؛ به عنوان مثال به منظور محافظت در برابر استثنا حساب در هنگام محاسبه تعداد کل تماس در هر ثانیه برای هر آزمون. کاهش تعداد تکرار آزمون معیار که در حال اجرا آزمون واحد برای جلوگیری از زمان محاسبات طولانی با آهسته به عقب پایان کامپایلر پرولوگ.
چه در نسخه 2.43.1 جدید است:
تغییر کامپایلر را به حساب استفاده / 2 بخشنامه هنگام کامپایل تماس به پایگاه داده ساخته شده است در روش. این تغییر شده معناشناسی استفاده / 2 بخشنامه و اجازه می دهد تا مهاجرت آسان تر از برنامه های کاربردی ساده پرولوگ به Logtalk.
اضافه شدن پشتیبانی تجربی برای استفاده از یک قالب گزاره به عنوان آرگومان به coinductive / 1 بخشنامه. این قالب اجازه می دهد تا مشخصات که استدلال برای موفقیت coinductive معنادار هستند. بر اساس قابلیت های مشابه بر روی فلیکس Kluzniak را DRA متا مترجم پیدا شده است.
پشتیبانی بهبود یافته برای اشکال زدایی محمولات coinductive هنگام استفاده از Logtalk ساخته شده در دیباگر.
پشتیبانی coinduction حذف برای CxProlog. نسخه فعلی از این کامپایلر فاقد نرم برش ساخته شده در گزاره یا کنترل سازه، که در حال حاضر با اجرای coinduction تجربی مورد نیاز است.
برداشته محدودیت طولانی مدت که تعریف کاربر از محمولات لفاف بسته بندی برای / 3 و setof / 3 روش bagof ساخته شده است در هر زمان که بحث هدف ممکن است ^ 2 / سور وجودی استفاده جلوگیری می شود.
اضافه شدن پشتیبانی برای & quot؛ را ^ و & quot؛ متا متا گزاره استدلال تعیین حالت پیشنهاد شده توسط ژان Wielemaker و بر روی SWI-Prolog با قانون 5.11.25. این تعیین حالت در هنگام تعریف فوم پیچ دور / 3 و setof / 3 روش bagof ساخته شده است در هر زمان که بحث هدف ممکن است ^ 2 / سور وجودی استفاده مفید است.
او و & quot؛ prolog_compiler و & quot؛ و & quot؛ prolog_loader و & quot؛ پرچم کامپایلر، که اجازه می دهد عبور گزینه به عقب پایان کامپایلر Prolog با قانون ساخته شده است در گزاره که بر روی دیسک کامپایل و بار یک (وارد) پرچم پرولوگ. مقدار پیش فرض برای هر دو پرچم لیست خالی است.
اصلاح یک اشکال که تدوین تماس به اختصاصی پرولوگ ساخته شده در متا گزاره که در آن کامپایلر Logtalk می تواند تلاش برای پردازش غیر متا استدلال به عنوان اهداف. این اشکال تنها خود را با برخی از عقب پایان کامپایلر Prolog با قانون مانند گرفتگی آشکار می شود.
تصحیح یک اشکال در پردازش دستورات تلفیقی شرطی.
تصحیح یک اشکال که عبور نام مستعار / 3 دستورات در تماس به create_object / 4 مانع، create_category / 4، و create_protocol / 3 ساخته شده است در محمولات.
حذف از ساخته شده است در جسم و & quot؛ logtalk و & quot؛ decompile_predicate_head / 4 و decompile_predicate_indicator / 4 روش منسوخ شده است؟
پشتیبانی حذف برای Logtalk طولانی توصیه / 1 بخشنامه metapredicate.
تصحیح یک اشکال عملکرد در هنگام ذخیره تماس ها به دسته گزاره که در آن نوشته های cache شده می تواند خاص بیش از حد لازم در هنگام کار با دسته پارامتری.
بهبود ذخیره از & 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، و محدودیت.
به روز شده در & quot؛ را metapredicates و & quot؛ به عنوان مثال با کد نمونه نشان میدهد که چگونه به تعریف فوم پیچ دور / 3 و setof / 3 روش bagof ساخته شده است در زمانی که متا استدلال ممکن است حاوی متغیرهای وجودی واجد شرایط است.
به روز شده در & quot؛ را سی سی و & quot؛ به عنوان مثال، اصلاح تعاریف محمول برای چند به عقب پایان کامپایلر Prolog با قانون و اضافه کردن برخی از آزمون های واحد پایه.
به روز شده در & quot؛ را سیستم های کد گذاری و & quot؛ به عنوان مثال با پشتیبانی محدود برای ناب پرولوگ.
مدخل های اضافه شده از دست رفته برای meta_non_terminal / 1 بخشنامه و برای پاسخ // N غیر ترمینال به & quot؛ را کمک کند و & quot؛ مثال.
اضافه شدن یک تجزیه کننده برای PDDL 3.0 فایل ها، ارائه شده توسط رابرت Sasak.
اضافه شده کد پشتیبانی تاشو به ویرایشگر متن SubEthaEdit. اضافه شده کد پشتیبانی برای بلوک های تلفیقی شرطی به ویرایشگرهای متن کیت، Vim برای، و تکستمیت تاشو.
روز شده در اسکریپت ادغام به منظور بارگذاری فایل مسیر کتابخانه قبل از بارگذاری Logtalk کامپایلر / زمان اجرا. این تغییر هدف ساده بارگذاری کتابخانه و به عنوان مثال فایل ها از فایل های تنظیمات. علاوه بر این، همچنین برای نصب و راه اندازی دایرکتوری Logtalk در $ HOME / سهم نگاه کنید زمانی که متغیر محیطی LOGTALKHOME تعریف نشده است.
به روز شده در نصب ویندوز به منظور حمایت از ناب پرولوگ و تشخیص صدای تند و تیز 64 بیت نسخه.
چه در نسخه 2.43.0 جدید است:
اضافه شدن پشتیبانی تجربی برای ناب پرولوگ.
حذف محدودیت کامپایلر Logtalk که جدا از / 1 و پویا / 1 دستورات مجبور به قبل از تماس به محمولات اعلام کرد.
بهبود گزارش کامپایلر Logtalk از تماس های دارای اشتباه املایی به غیر پایانه در قواعد دستور زبان.
اجازه استفاده از: 1 / کنترل ساخت بر روی بدن از قواعد دستور زبان.
هنگام اشکال زدایی پیام مشخص شده در استفاده از / 2 دستورات، پیام در حال حاضر چاپ به طور ضمنی به عنوان در کد منبع نوشته شده توسط کاربران واجد شرایط است.
تغییر محمولات داخلی مورد استفاده در اجرای محمولات ساخته شده است در چند نخ به منظور تسهیل یکپارچگی با ابزار اشکال زدایی در سطح بالا که نیاز به هم decompilation از کد پرولوگ تولید می شود.
تصحیح یک اشکال در حمایت از کتابخانه ها برای آزمایش واحد، و & quot؛ و & quot ؛، lgtunit که در آن آزمایش برای استثنا هر مدت استثنا به عنوان منطبق با مشخصات آزمون واحد بپذیریم.
به روز شده در & quot؛ را سی سی و & quot؛ به عنوان مثال با رفع اشکال و بهبود برای گرفتگی توسط یواخیم Schimpf کمک، با رفع اشکال برای اجرای SWI-Prolog با قانون از expand_path / 2 گزاره (ناشی از تغییرات اخیر به SWI-Prolog با قانون absolute_file_name / 3 ساخته شده است در گزاره)، و با یک تعریف برای command_line_arguments / 1 محمول برای B-پرولوگ.
به روز شده در & quot؛ را coinduction و & quot؛ به عنوان مثال، اضافه کردن برخی از نمونه های منحصر به فرد است.
به روز شده در & quot؛ را xml_parser و & quot؛ سهم به منظور راهحل مسائل قابل حمل با استفاده از GNU پرولوگ.
اصلاح یک اشکال در برخی اسکریپتهای پوسته که در آن ها & quot؛ # / bin / bash در & quot؛ را ! به جای و & quot مورد استفاده قرار گرفت؛ # / bin / bash در و & quot ؛. به لطف این بازی، Yiorgos Adamopoulos برای گزارش اشکال.
به روز شده در INNO راه اندازی رابط کاربری گرافیکی ویندوز اسکریپت نصب به منظور اجازه نصب و راه اندازی کامل توسط کاربران غیر مدیر.
اضافه شدن پشتیبانی از رنگ آمیزی نحو برای راهنمای ISO پرولوگ شامل / 1 تا تمام ویرایشگرهای متن پشتیبانی و شاخص نحو.
اصلاح برخی از اشکالات بر روی زبانه باعث برای قطعه نرمافزاری gedit Logtalk که استفاده از آنها جلوگیری کرد.
تماس تغییر به استفاده از XEP جای FOP در هنگام تولید نسخه های PDF از کاربر و مرجع کتابچه های راهنمای به عنوان FOP کوتاه مجاز محتویات برخی از صفحات.
اضافه شده
یک entity_prefix / 2 محمول و دو مجموعه از گزاره ابزار، decompile_predicate_heads / 2-4 و decompile_predicate_indicators / 2-4، به:
چه در نسخه 2.42.4 جدید است و & quot؛ logtalk و & quot؛ ساخته شده در شی. مشخص شده است که decompile_predicate_head / 4 و decompile_predicate_indicator / 4 به عنوان توصیه نمی شوند.
اضافه شدن پشتیبانی برای حفظ اطلاعات دامنه را برای اپراتورهای با استفاده از دستورات حوزه طی زمان کامپایل اعلام کرد. اطلاعات اضافه شده در نهاد اپراتورهای به XML مستند فایل را اعلام کرد. به روز شده در متن، PDF، و (X) اسکریپت تبدیل HTML برای چاپ کردن اطلاعات اپراتور.
چند بهینه سازی سطح پایین کاربردی به Logtalk کامپایلر / زمان اجرا.
محمول داخلی است که ساخت و به منظور حمایت از تنظیم عملکرد خوب است که کامپایلر Prolog با قانون وابسته به زمینه اجرایی محمول از کامپایلر به فایل های پیکربندی پرولوگ دسترسی نقل مکان کرد.
به روز شده در اجرای رشته / 1 چند نخ ساخته شده است در گزاره به منظور استفاده از بهینه سازی عملکرد کوچک بر اساس term_variables / 2 ساخته شده در گزاره پیشنهاد شده توسط بازی Timon ون Overveldt. این بهینه سازی با هدف کاهش کپی های غیر ضروری و وحدت نظر. علاوه بر این، جای استفاده از setup_call_cleanup / 3 ساخته شده است در گزاره با گرفتن 3 / ساخته شده است در گزاره با ساده دست زدن به هر دو استاد و برده موضوعات، که همچنین باعث بهبود عملکرد.
اشکال در اجرای رشته / 1 چند نخ ساخته شده است در گزاره که در آن شکست توسط کاربر را مشخص اهداف مستقل زمانی که تلاش برای استفاده مستقل و موازی در موضوعات زامبی نتیجه را اصلاح کرد.
بیشتر شرایط استثنا آموزنده زمانی که تلاش برای اعلام یک گزاره هماهنگ به عنوان پویا و یا محمول پویا به عنوان هماهنگ شده است.
به روز شده در فایل پیکربندی XSB به منظور حمایت از تلفیقی از ماژول به عنوان اشیاء. اضافه شدن یک تعریف برای از دست رفته setup_call_catcher_cleanup / 4 ساخته شده است در گزاره. XSB 3.3 (یا نسخه جدیدتر) در حال حاضر برای سازگاری با Logtalk مورد نیاز است.
به روز شده در فایل پیکربندی SWI-Prolog با قانون به منظور ارائه پشتیبانی محدود برای arithmetic_function / 1 بخشنامه های اختصاصی (توابع ریاضی به عنوان جای جهانی به عنوان محلی برای اشیاء و یا دسته بندی ها تعریف آنها را کامپایل).
به روز شده در فایل پیکربندی صدای تند و تیز به منظور نادیده گرفتن style_check / 1 بخشنامه و به تفسیر yap_flag / 2 بخشنامه به عنوان یک set_prolog_flag / 2 بخشنامه.
تغییر به طور پیش فرض XSL-FO پردازنده (مورد استفاده برای تولید نسخه های PDF از کاربر و مرجع کتابچه های راهنمای) از XEP به FOP.
به روز شده در & quot؛ را xml_parser و & quot؛ سهم به منظور راهحل مسائل قابل حمل با قرآن-پرولوگ، SICStus پرولوگ، و XSB.
به روز شده در & quot؛ را سیستم های کد گذاری و & quot؛ به عنوان مثال به منظور اطمینان حاصل شود که هیچ فضای خالی قبل از رمزگذاری / 1 بخشنامه وجود دارد.
به روز شده در & quot؛ را attvars و & quot؛ به عنوان مثال به منظور حمایت از B-پرولوگ و XSB. همچنین پشتیبانی برای استفاده از متغیر نسبت داده در اشیاء پارامتریک Logtalk و دسته پارامتری اضافه شده است. با تشکر از ژان Wielemaker، VAtor سانتوس کوستا، و بارت Demoen برای بازخورد و اجرای پیشنهادات.
به روز شده در & quot؛ را برفلرس و & quot؛ به عنوان مثال با حمایت اولیه برای تغییرات پروفایل اعدام در SICStus پرولوگ 4.2 نسخه.
به روز شده در & quot؛ را گسترش و & quot؛ به عنوان مثال با کد نمونه بیشتر در مورد چگونگی ترکیب term- و تعاریف هدف گسترش از اشیاء قلاب متفاوت است.
به روز شده در & quot؛ را coinduction و & quot؛ به عنوان مثال، اضافه کردن یک تجربی keysort / 2 coinductive گزاره. با تشکر از ژان خیم برای پیشنهاد.
به روز شده در & quot؛ را تک و & quot؛ چند نخ مثال که در آن یک برش از دست رفته در سرعت اگزوز پشته محلی در هنگام استفاده از SWI-Prolog با قانون با توجه به ایجاد یک تعداد بسیار زیادی از نقاط انتخاب های غیر ضروری است.
به روز شده در & quot؛ را mtbatch و & quot؛ چند نخ مثال به منظور ارائه معیار گسترش یافته از & quot؛ را تک و & quot؛ مثال.
به روز شده در portfile MacPorts و اسکریپت که به روز رسانی به منظور حذف محاسبه کنترلی MD5، که در حال انجام شده توسط MacPorts فاز.
به روز شده در INNO راه اندازی رابط کاربری گرافیکی ویندوز اسکریپت نصب به منظور راهحل اشکال در نصب SWI-Prolog با قانون ویندوز که در آن روش حذف موفق به حذف کلید SWI-Prolog با قانون از رجیستری ویندوز.
چه در نسخه 2.42.3 جدید است:
اجازه محمولات پویا اعلام شده در یک دسته بندی به در & quot نامیده می شود؛ این ها & quot؛ از درون دسته. در نسخه های قبلی، از جمله تماس های را در یک خطای زمان کامپایل منجر، مجبور به این گزاره به در & quot نامیده می شود؛ خود و & quot؛ (با استفاده از پیام :: / 1 ارسال ساختار کنترل).
اضافه شدن پشتیبانی از Logtalk کامپایلر برای سر از پیش کامپایل بند (با استفاده از {} / 1 کنترل ساختار). این ویژگی زمانی که با استفاده از مکانیسم مدت گسترش بیشتر مفید است.
تصحیح یک اشکال در کد است که ساده بند گزاره تولید شده توسط مجموعه ای از قواعد دستور زبان. کد به حلقه زمانی که یک قاعده دستور زبان شامل یک متا متغیر، که کامپایلر Logtalk 'باید' (اما در حال حاضر انجام نمی شود) گزارش به عنوان غیر قانونی (تماس / 1 ساختار کنترل باید به جای در این مورد استفاده می شود).
ساده شده تلفیقی از تماس های در زمینه شبه شی و & quot؛ و & quot ؛. کاربران
اضافه شدن یک دستور دیباگر و & quot؛ P & quot؛ را به Logtalk ساخته شده در دیباگر. این دستور به هدف فعلی با استفاده از گزاره چاپ / 1 هنگامی که در دسترس چاپ. تغییر نام دستور دیباگر و & quot؛ س و & quot؛ به & quot؛ و & quot ؛. Q تصحیح یک اشکال که در آن فرمان دیباگر و & quot؛ W & quot؛ را نمی رسمیت شناخته شود. تغییر دستور دیباگر و & quot؛ D & quot؛ را به قول نظر در صورت لزوم.
اضافه شدن یک اجرای بخشی از ISO پرولوگ predicate_property / 2 محمول به فایل پیکربندی گرفتگی.
به روز شده در فایل پیکربندی SWI-Prolog با قانون به منظور حذف اعلام اشتباه از کتابخانه متا محمولات dde_register_service / 2، زمان / 1، و هنگامی که / 2 ساخته شده در متا محمولات.
اعمال رفع اشکال به & quot؛ را پرچم و & quot؛ سهم توسط پدیدآور آن، Theofrastos Mantadelis در دسترس ساخته شده است. راه حل یک مسئله سازگاری با GNU پرولوگ.
اضافه شدن یک memberchk / 2 محمول به کتابخانه و & quot؛ setp و & quot؛ پروتکل و & quot؛ مجموعه & quot؛ را شی. اضافه شده محمول is_control / 1، is_newline / 1، و is_end_of_line / 1 به کتابخانه و & quot؛ characterp و & quot؛ و & quot؛ شخصیت ها & quot؛ اشخاص.
اضافه شده به عنوان مثال تجربی با استفاده از متغیرهای نسبت داده در اشیاء Logtalk و دسته ها. در حال حاضر نیاز به استفاده از صدای تند و تیز و یا SWI-Prolog بصورت عقب پایان پرولوگ کامپایلر.
اضافه شدن پشتیبانی برای indexicals به & quot؛ را محدودیت / sicstus و & quot؛ مثال.
تمدید و & quot؛ نمایندگان و & quot؛ به عنوان مثال با اجرای نمونه از یک delegator استفاده از یک جسم پارامتری.
تمدید و & quot؛ dynpred و & quot؛ به عنوان مثال به منظور نشان دادن چگونه به تعریف دسته گزاره که مسئولیت رسیدگی به محمولات پویا در زمینه & quot؛ این ها & quot؛ و در زمینه & quot؛ را و & quot ؛. خود
اضافه شدن یک wall_time / 1 محمول به & quot؛ را سی سی و & quot؛ مثال.
به روز شده در نحو برجسته فایل های آزمون، اضافه کردن گم شده درست / 0 و شکست سازه / 0 کنترل.
چه در نسخه 2.42.2 جدید است:
به روز رسانی کامپایلر Logtalk به منظور اجازه می دهد برای چک کردن خواص ماژول محمول بدون نیاز به وارد کردن محمولات به & quot؛ را برای کاربران و & quot؛ (توجه داشته باشید، با این حال، که ماژول هنوز هم باید قبل از تلفیقی از فایل های منبع خواستار محمولات ماژول لود شود).
به روز شده در کامپایلر Logtalk به منظور بررسی زمان کامپایل استدلال بسته شدن نمونه در پاسخ / 2-N گل برای خطاهای برنامه نویسی رایج است.
به روز شده در کامپایلر Logtalk به منظور تولید هشدار برای عبارات لامبدا با متغیرهایی است که به صورت رایگان و یا متغیرهای پارامترهای لامبدا و یا با متغیرهای که به عنوان هر دو متغیر رایگان و پارامترهای لامبدا اعلام اعلام شده است. با تشکر از ژان خیم برای پیشنهاد این بررسی سلامت عقل است.
به روز رسانی در زمان اجرا Logtalk به منظور حمایت با استفاده از & # x3c؛ & # x3c؛ / 2 کنترل ساخت در بسته شدن متا استدلال متا محمولات.
اضافه شدن پشتیبانی برای کامپایل آزاد / هدف تماس عبارت لامبدا (به طور خودکار تولید یک گزاره کمکی در صورت امکان).
اضافه شدن یک / 1 روش های عمومی compile_aux_clauses، بر اساس یک گزاره با همین نام در SWI-Prolog با قانون، به ساخته شده است در جسم و & quot؛ و & quot ؛. logtalk این روش معمولا از goal_expansion / 2 قلاب به منظور تدوین بند کمکی تولید شده برای حمایت از یک هدف گسترش نامیده می شود.
اضافه شدن متا گزاره چشم پوشی / 1، اجرا شده توسط بعضی کامپایلرها پرولوگ به عنوان یک گزاره ساخته شده است، به عنوان یک Logtalk روش ساخته شده در.
به روز شده در فایل پیکربندی SWI-prolog، به منظور جلوگیری از خودکار بارگذاری کتابخانه ماژول وقتی پرس و جو خواص محمول از Logtalk.
به روز شده در قرآن-پرولوگ، SICStus پرولوگ، و فایل های پیکربندی XSB به منظور ایجاد دسترس محمول term_variables / 2 به عنوان یک ساخته شده است در گزاره ISO.
به روز شده در اسکریپت ادغام قرآن-prolog، به منظور دو برابر ارزش اندازه پشته برای کامپایل کامپایلر Logtalk / زمان اجرا، حل سقوط راه اندازی.
فرمان فایل MacOS اکس برای گنو پرولوگ (اسکریپت / MacOSX برای / command_files / پشتیبانی نشده و & quot؛ پوشه را از و & quot منتقل شد) دوباره بازسازی شد.
اضافه شده محمول findall_member / 4-5 به شی کتابخانه و & quot؛ متا و & quot؛ (بر اساس پیش نویس پرولوگ پیشنهاد کتابخانه ریچارد اوکیف). حذف اظهارنامه و تعریف محمول قابل فراخوانی / 1 و چشم پوشی / 1 از نهادهای کتابخانه و & quot؛ metap و & quot؛ و & quot؛ متا و & quot؛ (؛ چشم پوشی / 1 در حال حاضر یک Logtalk روش ساخته شده است در قابل فراخوانی / 1 محمول ساخته شده است در در تمام کامپایلرهای پرولوگ پشتیبانی می شود).
اضافه شدن یک شی کتابخانه، و & quot؛ و & quot ؛، meta_compiler است که می تواند به عنوان یک شی قلاب به گسترش تماس به متا گزاره های تعریف شده در شی کتابخانه و & quot استفاده می شود؛ متا و & quot؛ به منظور اجتناب از سربار متا پاسخ. در مواردی که پاسخ متا گزاره می تواند بهینه سازی، تعریف پیش فرض بر روی & quot؛ را متا و & quot؛ شی استفاده شده است. با استفاده از ساختارهای کنترلی به عنوان متا استدلال است (هنوز) پشتیبانی می شود. کار در حال انجام.
اضافه شدن یک پروتکل، و & quot؛ و & quot ؛، loggingp و دسته بندی و شی پیاده سازی، و & quot؛ ورود به سیستم و & quot؛ و & quot؛ و & quot ؛، چوب اعلام و تعریف قابلیت های اساسی برای ورود به سیستم وقایع را به فایل های به کتابخانه.
اضافه شدن یک پروتکل، و & quot؛ و & quot ؛، intervalp و یک شی، و & quot؛ و & quot ؛، فاصله اعلام و تعریف روابط فاصله زمانی عمومی به کتابخانه (بر اساس کار جیمز اف آلن فاصله جبر).
اضافه شدن یک بخش اجرای شمارنده عدد صحیح به نام، و & quot؛ و & quot ؛، شمارنده به کتابخانه.
اضافه شده محمول proper_prefix / 2 و proper_suffix / 2 به اشخاص کتابخانه و & quot؛ و & quot ؛، listp و & quot؛ و & quot ؛، لیست و & quot؛ و & quot ؛. difflist
اضافه شده محمول پس و / 2 به شی کتابخانه و & quot؛ و & quot ؛. جفت
اضافه شدن دو شبه نمونه برای آزمایش، و & quot؛ lambdas_compiled و & quot؛ و & quot؛ و & quot ؛، metapredicates_compiled که استفاده از شی جدید کتابخانه
و & quot؛ و & quot ؛. meta_compiler
به روز شده در & quot؛ را گسترش و & quot؛ به عنوان مثال به منظور نشان دادن چگونگی تعریف و ترکیب اشیاء قلاب.
اضافه شدن پشتیبانی برای استفاده از بسته SyntaxHighlighter (نسخه 3.0.83 یا بالاتر) توسط Alex Gorbatchev بود با کد منبع Logtalk.
اضافه شده رنگ آمیزی نحو از دست رفته از دیگری / 0 بخشنامه تلفیقی شرطی به پشتیبانی هایلایت گنو منبع برجسته.
اضافه شدن یک توجه داشته باشید در Logtalk متن پشتیبانی از ویرایش های موجود در ویرایشگر MacOS اکس موضوع کد های متنی رایگان.
اضافه شدن پشتیبانی از رنگ آمیزی نحو برای جدید چشم پوشی / 1 روش ساخته شده است در تمام ویرایشگرهای متن پشتیبانی و شاخص نحو.
چه در نسخه 2.42.1 جدید است:
اضافه شدن پشتیبانی برای کامپایلر Logtalk برای تشخیص و گزارش پویا / 1 و جدا از دستورات / 1 محمول.
اضافه شدن یک پرچم جدید پرز، و & quot؛ و & quot ؛، missing_directives با مقدار پیش فرض و & quot؛ و & quot ؛، هشدار به تمام فایل های پیکربندی. این پرچم چاپ هشدارهای کامپایلر برای از دست رفته پویا / 1، دستورات جدا / 1، و چندفایلی / 1 محمول.
اضافه شدن پشتیبانی برای متا گزاره جدید شاخص حالت الگو: (/) برای یک شاخص گزاره، [/] برای یک لیست از شاخص محمول و [0] برای یک لیست از اهداف.
تصحیح یک اشکال در کامپایلر Logtalk زمانی که چک کردن سر بند متا محمول برای اشتباهات که در آن ها & quot؛ :: & quot؛ را نشانگر حالت متا بحث هنوز هم به عنوان و & quot تفسیر شد؛ و & quot ؛. 0
یک اشکال در مدیریت بسته شدن (در متا تماس) که برای ساخت تماس های کنترل سازه یا ساخته شده در گزاره که می تواند در فراخوانی برخی متا استدلال در زمینه اشتباه نتیجه استفاده می شود را اصلاح کرد. با تشکر از اولریش Neumerkel برای مثال نشان دادن در لیست پستی SWI-پرولوگ.
به روز شده در کامپایلر Logtalk به منظور جلوگیری از هشدارهای چاپ مورد از دست رفته ارجاع به & quot؛ را گسترش و & quot؛ و & quot؛ نظارت و & quot؛ ساخته شده در پروتکل هنگام کامپایل ماژول به عنوان اشیاء.
بازگشت تغییرات در نسخه 2.39.2 که اجازه شبه شی و & quot؛ کاربران و & quot؛ به تقریبا حاوی تعریف تمام پرولوگ ساخته شده در گزاره. این می تواند به نتایج متفاوتی بسته به عقب پایان پرولوگ کامپایلر، به خصوص در هنگام فراخوانی متا محمولات در زمینه و & quot منجر شود؛ و & quot ؛. کاربران
تصحیح یک اشکال در SWI-Prolog با قانون و & quot؛ swihooks.lgt و & quot؛ فایل است که منجر به یک پیغام خطا ساختگی در مورد پرچم Logtalk نامعتبر هنگام مشاوره یک فایل پرولوگ زمانی که یک فایل منبع Logtalk با همین نام در همان شاخه وجود دارد.
اضافه شدن پشتیبانی از دست رفته برای اختصاصی ساخته شده است در متا محمولات به B-پرولوگ، SICStus پرولوگ، SWI-Prolog با قانون، XSB، و فایل های پیکربندی صدای تند و تیز.
به روز شده در SICStus پرولوگ، SWI-Prolog با قانون، و فایل های صدای تند و تیز پیکربندی به منظور نادیده گرفتن قالب متا محمول برای / 1 مشورت و load_files / 2 گزاره های ساخته شده در.
اضافه شده یک پیاده سازی از map_reduce / 5 متا محمول به شی کتابخانه و & quot؛ و & quot ؛. متا
اضافه شده یک پیاده سازی از command_line_arguments / 1 محمول به & quot؛ را سی سی و & quot؛ مثال.
به روز شده در & quot؛ را لامبداها و & quot؛ و & quot؛ metapredicates و & quot؛ نمونه، نشان میدهد که چگونه برای محاسبه اعداد فیبوناچی با استفاده از یک چپ متا گزاره برابر شده است. به روز شده در & quot؛ را metapredicates و & quot؛ به عنوان مثال با یک مثال استفاده از map_reduce / 5 متا گزاره.
به روز شده در & quot؛ را problog و & quot؛ به عنوان مثال، اضافه کردن پشتیبانی اولیه برای disjunctions مشروح جدید نحو.
اضافه شده یک & quot؛ سحر و جادو و & quot؛ عنصر به Logtalk فایل MIME نوع برای freedesktop.org به اشتراک گذاشته پایگاه داده MIME-اطلاعات.
چه در نسخه 2.42.0 جدید است:
اضافه شده یک پیاده سازی از پرچم شی مداوم است.
اضافه شدن یک جفت جدید از ساخته شده است در محمولات، conforms_to_protocol / 2-3، اجرای بسته شدن متعدی از رابطه اجرای پروتکل.
اضافه شده بخشنامه تجربی، حاشیه نویسی / 1، برای حمایت از ادغام Logtalk با زبان های دیگر مانند ProbLog و CHR.
بازگشت تغییرات در نسخه قبلی که یک شیء مستقل به اجازه (همچنین) به عنوان کاربر ریشه سلسله مراتب کلاس استفاده می شود.
تعریف مجموعه ای از گزاره های ابزار سطح پایین، در دسترس به عنوان روش های عمومی از & quot؛ را logtalk و & quot؛ ساخته شده در شی. اصلاح (مجازی) تلفیقی از این شی به منظور همیشه آن را به عنوان یک نمونه اولیه تفسیر.
ساده شده و بهبود عملکرد کد ذخیره گزاره مراجعه، و در نتیجه بهبود عملکرد اتصال پویا. ساده عملکرد روش ساخته شده است در andimproved asserta / 1 و assertz / 1 که ادعا بند برای یک گزاره جدید. ساده به روز رسانی از جدول داخلی برای محمولات به صورت پویا تعریف شده بود که با استفاده از روش ساخته شده است در جمع / 1 و retractall / 1. ساده کد کامپایلر استفاده می شود در هنگام ایجاد نهادهای جدید.
تغییر معناشناسی و & quot؛ dynamic_declarations و & quot؛ پرچم طوری که آن را فقط بررسی می شود در هنگام ارسال پیام asserta / 1 یا assertz / 1 به یک شی.
ادعا محلی جملات برای گزارههای جدید در حال حاضر همیشه مجاز است.
به روز شده در اجرای روش ساخته شده است در لغو / 1 به منظور نیز پشتیبانی لغو محمولات پویا محلی است.
بهبود عملکرد تلفیقی فایل منبع با اجتناب از تمیز کردن کار برکنار محمولات تلفیقی کمکی.
اصلاح کامپایلر Logtalk به منظور تفسیر وقوع و & quot؛: & quot؛ را در دستورات متا گزاره ماژول را به عنوان معادل و & quot؛ :: & quot؛ را به جای & quot؛ را 0 و & quot؛ در Logtalk دستورات متا گزاره. این تغییر به پیروی از روند فعلی برای بالفعل استاندارد برای دستورات متا محمول اما هنوز هم مشکل ساز برای برخی از کامپایلر های پرولوگ. ؛ Logtalk یک exceptionwhen تدوین تماس به پرولوگ ساخته شده در متا محمول یا پرولوگ modulemeta-گزاره که الگو شامل یک & quot پرتاب: & quot؛ را تعیین متا استدلال است.
خطای کامپایلر بهبود چک کردن برای روابط نهاد، شناسایی و گزارش تلاش نادرست ترین به گسترش، نمونه، تخصص، واردات، پیاده سازی، و یا تکمیل نوع اشتباه از اشخاص.
حالت.
مثال.
مثال.
مثال.
مثال.
نظر یافت نشد