Logtalk

نرم افزار تصویر:
Logtalk
جزئیات نرم افزار:
نسخه: 3.38 به روز شده
ها تاریخ: 4 May 20
توسعه دهنده: Logtalk
پروانه: رایگان
محبوبیت: 25
اندازه: 20008 Kb

Rating: 4.0/5 (Total Votes: 4)


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

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

* بهبود یافته: جلوگیری از هشدارهای دستورالعمل "meta_predicate / 1` گمراه کننده زمانی که فراخوان واقعی واقعی متغیرها با سر clause را به اشتراک نمی گذارد.


* بهبود یافته: اجازه استفاده از عبارات لامبدا را در قوانین گرامر بدون نیاز به فراخوانی `call // 1`.


* FIXED: اشکال بهینه سازی در تلفیق متا استدلال بسته شدن زمانی که هدف در نتیجه تماس به یک پیش فرض ساخته شده در Prolog به علت تعریف یک تعریف پیش فرض کاربر است.


* FIXED: اشکال بهینه سازی در کامپایل یک متا استدلال بسته شدن زمانی که هدف حاصل تماس یک ساختار پرولگ `: / 2` است.

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

* اضافه شده: پشتیبانی از تعریف پیشنهادهای ساخته شده در Prolog برای lint
چک کردن اهداف که همیشه درست یا غلط به فایل های آداپتور با استفاده از
hook presic '' $ lgt_candidate_tautology_or_falsehood_goal_hook '/ 1`.


* ADD: اموال object 'module' برای اشیاء که از تالیف حاصل می شود
از ماژول های Prolog.


* ADDED: خطای راحتی پرتاب روش های ساخته شده در `syntax_error / 1` و
`system_error / 0`. این روش ها خطاهای استثنایی استاندارد خطا / 2 را صادر می کنند
و معادل یک دنباله از تماس متدی `context / 1` و` throw / 1` است.


* حذف شده: پشتیبانی از Logtalk 2.x `تماس / 1`،` uses / 1`، و
`مستعار / 3` دستورالعمل


* حذف شده: پشتیبانی از Logtalk 2.x `/ /` `ساخت کنترل نشده است.


* حذف شده: پشتیبانی از Logtalk 2.x نامعلوم، `singletons`
`tmpdir` و پرچم کامپایلر` version`

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

NEW: پشتیبانی از متغیرهای پارامتر _ ارائه یک جایگزین برای
`پارامتر / 2` و` این / 1` ساخته شده در روش برای دسترسی به پارامترهای نهاد.
متغیرهای پارامتر متغیرهایی هستند که در شناسه موجودیت پارامتری استفاده می شوند
که شروع و پایان با یک تاکید (_VariableName_`). هر رخداد
از یک متغیر پارامتر در یک عنصر entity به طور ضمنی با یکپارچه با
پارامتر نهاد این اجازه می دهد که پارامترهای نهاد اضافه شوند، مرتب شوند، یا
بدون نیاز به تغییر در مواردی که به آنها اشاره می شود، حذف می شوند.
متغیرهای پارامتر فقط برای اعداد پارامتری تعریف شده در

چه جدید در 3.13 است است:

NEW: پشتیبانی از کامپایلر برای شناسایی تماس ها با محدوده های ایستا محلی بدون هیچ گونه تطابق (با نام مستعار نتواند)

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

* بهبود یافته: پیام های هشدار دهنده و کامپایلر خطا برای آنها را یکنواخت تر کرده تا تجزیه و تحلیل توسط ویراستاران و IDE ها آسان شود و برای جلوگیری از چاپ شرایط بالقوه بزرگ.


* بهبود یافته: کامپایلر دیگر نیازی به فراخوانی به پایگاه داده و اصطلاحات انعکاسی نیست که در آن اولین آرگومان یک اصطلاح واجد شرایط ماژول با استفاده از ساختار کنترلی `{} / 1` کامپایلر است.


* بهبود یافته: بررسی خطای کامپایلر برای پایگاه داده و تماس های پیشنهادی انعکاسی که در آن پارامتر اول یک اصطلاح واجد شرایط ماژول است.


* بهبود یافته: تعداد مجوزهای فایل را که با فراخوانی به پیشنهادهای `logtalk_make / 0-1` منجر می شود را کاهش دهید.


* ثابت: مورد که `` logtalk_make / 0-1` 'مشروط قادر به بارگزاری مجدد یک فایل که کامپایل خطای کامپایلر را ایجاد کرد.

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

* CHANGED: پیش فرض ساخته شده در current_event / 5 است که همیشه اولین استدلال را در هنگام ایجاد نامگذاری با آن غیرعلمی ایجاد کند.


* اضافه شده: پشتیبانی برای سرپرستی دایرکتوری خالی پیش فرض با تعریف
نام مستعار کتابخانه `scratch_directory` در پرونده اولیه پرولن backend
(فرض می شود قبل از بارگیری Logtalk بارگیری شود). پس از بحث با
Douglas R. Miles در حمایت از نصب Logtalk در یک پوشه فقط خواندنی
و اجرای همزمان چند مورد Logtalk بدون درگیری.


* اضافه شده: متن `context / 1` ساخته شده در روش اشیاء متن برای ارائه دسترسی
به یک محتوا اجرای پیشنهادی تماس. به طور عمده برای ارائه یک پیش فرض استفاده می شود
زمینه خطا هنگام تایپ استدلال های پیش فرض.


* اضافه شده: پشتیبانی برای چاپ پیام های نوع `debug 'و` debug (_) `. اینها
پیام ها فقط به صورت پیش فرض چاپ می شوند، هنگامی که پرچم `debug 'روشن است.


* ADD: Property `شامل (فایل)` به `logtalk :: loaded_file_property / 2`
پیش فرض اجازه می دهد که تمام فایل های موجود توسط a را با رد کردن بکند
فایل بارگذاری شده (با استفاده از دستورات include / 1).

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

* RENAMED: `logtalk_make / 1` هدف` missing` به `check`.


* اضافه شده: پشتیبانی برای گسترش اهداف `logtalk_make / 1` با کاربر تعریف شده
اقدامات با استفاده از پیش فرض یك متغیر جدید logtalk_make_target_action / 1`.


* اضافه شده: چک کننده کامپایلر برای تطبیق و اهداف موجودات دروغین.
در حال حاضر بررسی شده است تماس به Prolog unification، مقایسه و نوع است
آزمایشات ساخته شده در پیش فرض ها پیشنهاد شده توسط بری ایوانز.

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

* ثابت: رگرسیون معرفی شده در نسخه 3.10.2 هنگامی که روش فراخوان فراخوان فراخوانی ساخته شده است.

* ثابت: نقص کامپایلر ناشی از استفاده از چک های قابل حمل برای تماس با Prohlog ساخته شده است در مفاد و توابع در مقاصد کمکی (که معمولا توسط مکانیسم گسترش مفهوم ایجاد شده است)

چه جدید در نسخه 3.10.3 :

* بهبود یافته: کد ساده تولید شده برای پیش فرض های چندزبانه.


* ثابت: رگرسیون در نسخه قبلی در تلفیق چندگانه
clauses محدوده ای که تماس را به ساختار کنترل `:: / 1-2` می رساند.

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

* ADDED: پشتیبانی از 'number_of_rules / 1` و' number_of_user_rules / 1` object
و خواص طبقه


* اضافه شده: پشتیبانی از property_pre_number_of_rules / 1`.


* ADDED: شناسایی دستورات meta_predicate / 1` که به اشتباه یک هدف را مشخص می کنند
متا-استدلال که در واقع یک بسته شدن به 'call / 2-N` meta-predicate منتقل می شود
تماس می گیرد با تشکر از آرنو میومدار برای گزارش.


* اضافه شده: شناسایی دستورالعمل های دامنه محدوده گم شده در حضور

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

* تغییر: فایل های تنظیمات در حال حاضر نیز در دایرکتوری خانه کاربر
هنگامی که در دایرکتوری راه اندازی یا در دایرکتوری user Logtalk یافت نشد.
تنظیم پرچم `settings_file` به` محدود کردن 'اکنون جستجو را محدود می کند
یک فایل تنظیمات به دایرکتوری کاربر Logtalk و دایرکتوری خانگی کاربر.
این تغییرات زمانی مفید است که یک تیم با نصب هر یک از Logtalk ها را به اشتراک بگذارد
متغیرهای `LOGTALKHOME` و` LOGTALKUSER` اشاره به
همان دایرکتوری با تشکر از باروی ایوانز برای پیشنهاد.

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

* تغییر: اطمینان حاصل کنید که در خطا کامپایلر و پیام های هشدار دهنده اطلاعات فایل و خط همیشه آخرین خط برای گزارش گزارش شده است.

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

* ADDED: یک پرچم یونیکد فقط خواندنی برای توصیف کامپایلر پرولگ باطن
پشتیبانی از استاندارد یونیکد.


* اضافه شده: پشتیبانی از `++` (زمین) و `-` (unbound) استدلال استدلال
حالت (به عنوان اپراتور پیشوند اعلام شده) برای استفاده با پیش فرض 'mode / 2`
دستورالعمل


* اضافه شده: پشتیبانی از 'determinism `one_or_error' مشخصات در حالت / 2`
دستورالعمل های پیش فرض برای مستند سازی پیش فرض های نوع تایید مفید است.


* بهبود یافته: شناسایی تلاش برای تماس با اهداف ماندگاری موجود در خارج از
دامنه `bagof / 3` و` setof / 3` تماس می گیرد.


* ثابت: هنگام کامپایل دستورالعمل "uses / 2`، یک بند لینک برای ایجاد کنید
استفاده از runtime برای پیش فرض های ساخته شده در کاربر، زمانی که هیچ نام مستعار تعریف نشده است.


* FIXED: هنگام انتشار يک فايل کامپايل براي يک فايل به پوشه هاي اصلي آن،
اطمینان حاصل کنید که اجداد فایل با شروع اجداد اولیه بارگذاری می شوند
توسط مکانیسم ساخت


* ثابت: از هنگام بارگزاری مجدد فایل با logtalk_make / 0` یا از فایل redundant اجتناب کنید
`logtalk_make / 1` با هدف` all`.


* ثابت: تشخیص محدوده های از دست رفته در `^ ^ / 1` هنگام فراخوانی تماس می گیرد
`logtalk_make / 1` با هدف` missing`.

* ثابت: اشکال در API انعکاس که برخی از ارجاعات متقاطع پیش فرض است
اطلاعات ثبت نشده است با تشکر از ادوارد شوارتز برای گزارش اشکال.

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

این انتشار در تلاش برای بهبود ابزار توسعه توسط حمایت از Kyndi، Inc. این شامل یک نسخه جدید از ابزار بسته بندی برای حمل و نقل ساده برنامه های Prolog و بهبود و تعمیر برای ابزار lgtunit و نمودار است.

چه جدید در نسخه 3.04.1 به دست می آید:

* ثابت: اشکال کامپایلر که در آن یک پیش فرض است که با فراخوانی متد `compile_aux_clauses / 1` گسترش می یابد، می تواند به عنوان یکپارچه ناموفق باشد.


* ثابت: تماس با پیش فرض ساخته شده در 'threaded_notify / 1` از درون کاربر "pseudo-object" نباید یک استدلال محدود به عنوان یک اسناد نیاز داشته باشد.


* FIXED: تماس با object_property / 2` و category_property / 2` ساخته شده در preaccounts با number_of_clauses / 1` یا number_of_user_clauses / 1` استدلال های مالکیت به صورت قطعی است.

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

* ADDED: پشتیبانی از یک هدف جدید `logtalk_make / 1`،` missing`، برای لیست موجودیت های موجود و پیش فرض ها. همچنین با استفاده از کلید {{}؟} `در دسترس است.

* اضافه شده: پشتیبانی از یک هدف جدید `logtalk_make / 1`،` دایره ای '، برای لیست مراجع دایره ای (با توجه به پیام ارسال اهداف) بین جفت ها و سه اشیاء. همچنین با استفاده از کلید {@} 'در دسترس است.

* بهبود یافته: افزودن یک هاب دایرکتوری به پرونده های نام پرونده متوسط ​​برای کمک به اجتناب از برخورد نام نام فایل هنگام جمع آوری تمام فایل های متوسط ​​در همان دایرکتوری برای جاسازی. در حال حاضر نیاز به ECLiPSe، GNU
Prolog، JIProlog، Quintus Prolog، SICSless Prolog، SWI-Prolog، XSB یا YAP به عنوان کامپایلر باطن.

* FIXED: اشکال بهینه سازی تماس متادیتی پیش فرض زمانی که یک متا آرایه یا یک بسته شدن پیش از کامپایل یا بسته شدن یک هدف است که در متن
کاربر "شبه شیء" همچنین چک کردن خطای سخت تر را برای متا-استدلال بسته کنید.

* ثابت: چاپ زیبا از شیء پارامتری و شناسه دسته های پارامتری در پیام های خطا و هشدار.

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

* ثابت: خطا در بررسی اشکال در عبارات لامبدا با استفاده از `true / 0` به عنوان لامبدا
هدف. با تشکر از بوریس Vassilev برای گزارش اشکال.


* ثابت: پیشنهادی `logtalk_make / 1` (بعد از چاپ هشدار) موفق خواهد شد
پیام) هنگامی که با یک استدلال غیر ثابت شده و یا نامعتبر با نام تماس بگیرید
شکست خوردن به
فایل های پرولگ متوسط ​​را با استفاده از یک پیش فرض چندگانه برای بهبود بهتر تولید می کند
تعبیه تجربه به طور قابل توجهی، آن را آسان تر برای جاسازی افزایشی.


* بهبود یافته: پیشنهادهای ایجاد هم اکنون فایل های پدر و مادر فایل های با بارگذاری مجدد
کامپایل یا بارگذاری خطاها. این تضمین می کند که وقتی یک فایل خراب از بین می رود
کامپایل تمام فایل ها در یک فایل لودر، فایل های ذکر شده پس از معیوب
فایل هنگامی که فایل معیوب ثابت شده است و محدوده های ایجاد را کامال می کند

چه جدید در نسخه 3.02.1 به دست می آید:

* بهبود یافته: نوشته های جدول زمان اجرا برای فایل های بارگذاری شده در حال حاضر به فایل های تولید شده Prolog اضافه شده با استفاده از یک پیش فرض چندگانه برای تجربه جاسازی بهتر اضافه شده است. به طور قابل توجهی، آن را آسان تر برای جاسازی افزایشی.
 * بهبود یافته: پیشنهادهای ایجاد هم اکنون فایلهای والدین فایلها را با کامپایل کردن یا بارگیری خطاها دوباره بارگذاری می کنند. این تضمین می کند که هنگامیکه یک فایل معیوب مجموعه کاملی از تمام فایل ها را در یک فایل loader متوقف می کند، فایل های ذکر شده پس از اینکه فایل خراب شده هنگام کامپایل فایل معیوب ثابت شده و پیش فرض ها ایجاد می شوند، کامال می شود.

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

این نسخه پیاده سازی اتصال استاتیک را تکمیل می کند. اضافه کردن پشتیبانی برای استفاده از نام فایل به عنوان است که با محاسبات کامپایل و بارگذاری؛ رفع اشکالات کامپایلر؛ ویژگی های به روز رسانی مستندات ابزارهای اشکال زدایی، تست و مستند سازی را بهبود می بخشد یک مجموعه جدید از آزمایشات واحد را برای بررسی انطباق Prolog با استانداردهای رسمی و واقعی، اضافه می کند؛ رنگ آمیزی نحو را برای همه ویرایشگرهای متن پشتیبانی شده و نشانه های نحو به روز رسانی می کند. و شامل به روز رسانی سازگاری برای ECLiPSe، JIProlog، و YAP است.

مورد نیاز:

سازگار با کامپایلر Prolog

نرم افزار های مشابه

ABalloon
ABalloon

4 Jan 15

ObjectiveTwain
ObjectiveTwain

4 Jan 15

SCPlugin
SCPlugin

2 Jan 15

نرم افزار های دیگر از توسعه دهنده Logtalk

Logtalk
Logtalk

3 May 15

نظرات به Logtalk

نظر یافت نشد
اضافه کردن نظر
روشن کردن تصاویر!
جستجو بر اساس طبقه بندی