به منظور برنامه ریزی منطقی مفید، هوش مصنوعی و زبانشناسی محاسباتی
چه در این نسخه جدید است:
در نوع بینی جدید و نحو هر دو زمان و مکان NAME- کارآمد فراهم می کند ارزش نقشه را با نحو دلپذیر است.
(H، T) | به عنوان یک نتیجه، به جای لیست سازنده (H، T) توسط (همچنین در استفاده از جیوه) "[]" لازم بود. که ممکن است به نظر می رسد شدید، اما در عمل تاثیر می گذارد فقط چند برنامه، به ویژه انجام عمل کننده (مدت، F، A) در لیست و سپس انتخاب پردازش بیشتر در F == '.'، A == 2. برای روشن کردن لیست بیشتر به یک سازه های ویژه، [] هنوز لیست خالی، اما دیگر همان "[]"، یعنی [] است که در اتم نیست.
نحو و & quot؛ ... & quot؛ را در حال حاضر به رشته نقشه برداری. رشته سازگار با گرفتگی هستند (به لطف یواخیم Schimpf برای همه بحث). کد لیست های سنتی با استفاده از .... پرچم double_quotes ساخته شده و back_quotes این رفتار را کنترل کنید.
به لطف به Torbjörn ابجو کم الکل، ما و & quot؛ و & quot ؛، Pengines موتورهای پرولوگ در وب است. این API عمومی برای راحتی صحبت کنید به یک سرور پرولوگ از جاوا اسکریپت و سایر موارد پرولوگ فراهم می کند. این صدای فش فش، SWI-Prolog در مرورگر خود (http://swish.swi-prolog.org) و همچنین http://lpn.swi-prolog.org (بدانید پرولوگ در حال حاضر! با SWISH جاسازی شده) را فعال کنید.
مارکوس Triska اضافه CLP (ب)، حل محدودیت بولی، CLP خود (FD) بهبود یافته و قبل از چندین پیشرفت به سطح بالا با محدودیت بود.
با تشکر از مت Lilley و مایک الستون، است CQL، یک DSL (دامنه زبان خاص) برای مقابله با SQL وجود دارد. CQL در یک محیط که در آن پایگاه داده های پیچیده SQL هنجار هستند و به همین دلیل از یک زیر مجموعه زیادی از SQL و می تواند با استفاده از جداول با هزاران نفر از ستون ها و چیزهای دیگر که کاربر ocasional SQL انتظار معامله توسعه یافته است.
مت Lilley بهبود پشتیبانی از شبکه به طور قابل توجهی، از جمله پشتیبانی بهتری از پشتیبانی از SSL و به طور کلی برای HTTP و SOCKS سرور های پروکسی.
بسیاری از مردم افزودنیهای فایرفاکس (بسته) که در SWI-Prolog با قانون نسخه 7 تکیه فراهم کرده اند.
جدید در نسخه 7.2.1 است / توسعه تمدن 7.3.3-:
نوع بینی جدید و نحو هر دو زمان و فضای کارآمد نقشه نام ارزش را با نحو دلپذیر را فراهم می کند.
(H، T) | به عنوان یک نتیجه، به جای لیست سازنده (H، T) توسط (همچنین در استفاده از جیوه) "[]" لازم بود. که ممکن است به نظر می رسد شدید، اما در عمل تاثیر می گذارد فقط چند برنامه، به ویژه انجام عمل کننده (مدت، F، A) در لیست و سپس انتخاب پردازش بیشتر در F == '.'، A == 2. برای روشن کردن لیست بیشتر به یک سازه های ویژه، [] هنوز لیست خالی، اما دیگر همان "[]"، یعنی [] است که در اتم نیست.
نحو و & quot؛ ... & quot؛ را در حال حاضر به رشته نقشه برداری. رشته سازگار با گرفتگی هستند (به لطف یواخیم Schimpf برای همه بحث). کد لیست های سنتی با استفاده از .... پرچم double_quotes ساخته شده و back_quotes این رفتار را کنترل کنید.
به لطف به Torbjörn ابجو کم الکل، ما و & quot؛ و & quot ؛، Pengines موتورهای پرولوگ در وب است. این API عمومی برای راحتی صحبت کنید به یک سرور پرولوگ از جاوا اسکریپت و سایر موارد پرولوگ فراهم می کند. این صدای فش فش، SWI-Prolog در مرورگر خود (http://swish.swi-prolog.org) و همچنین http://lpn.swi-prolog.org (بدانید پرولوگ در حال حاضر! با SWISH جاسازی شده) را فعال کنید.
مارکوس Triska اضافه CLP (ب)، حل محدودیت بولی، CLP خود (FD) بهبود یافته و قبل از چندین پیشرفت به سطح بالا با محدودیت بود.
با تشکر از مت Lilley و مایک الستون، است CQL، یک DSL (دامنه زبان خاص) برای مقابله با SQL وجود دارد. CQL در یک محیط که در آن پایگاه داده های پیچیده SQL هنجار هستند و به همین دلیل از یک زیر مجموعه زیادی از SQL و می تواند با استفاده از جداول با هزاران نفر از ستون ها و چیزهای دیگر که کاربر ocasional SQL انتظار معامله توسعه یافته است.
مت Lilley بهبود پشتیبانی از شبکه به طور قابل توجهی، از جمله پشتیبانی بهتری از پشتیبانی از SSL و به طور کلی برای HTTP و SOCKS سرور های پروکسی.
بسیاری از مردم افزودنیهای فایرفاکس (بسته) که در SWI-Prolog با قانون نسخه 7 تکیه فراهم کرده اند.
جدید در نسخه 7.2.0 است / توسعه تمدن 7.3.1-:
نوع بینی جدید و نحو هر دو زمان و فضای کارآمد نقشه نام ارزش را با نحو دلپذیر را فراهم می کند.
(H، T) | به عنوان یک نتیجه، به جای لیست سازنده (H، T) توسط (همچنین در استفاده از جیوه) "[]" لازم بود. که ممکن است به نظر می رسد شدید، اما در عمل تاثیر می گذارد فقط چند برنامه، به ویژه انجام عمل کننده (مدت، F، A) در لیست و سپس انتخاب پردازش بیشتر در F == '.'، A == 2. برای روشن کردن لیست بیشتر به یک سازه های ویژه، [] هنوز لیست خالی، اما دیگر همان "[]"، یعنی [] است که در اتم نیست.
نحو و & quot؛ ... & quot؛ را در حال حاضر به رشته نقشه برداری. رشته سازگار با گرفتگی هستند (به لطف یواخیم Schimpf برای همه بحث). کد لیست های سنتی با استفاده از .... پرچم double_quotes ساخته شده و back_quotes این رفتار را کنترل کنید.
به لطف به Torbjörn ابجو کم الکل، ما و & quot؛ و & quot ؛، Pengines موتورهای پرولوگ در وب است. این API عمومی برای راحتی صحبت کنید به یک سرور پرولوگ از جاوا اسکریپت و سایر موارد پرولوگ فراهم می کند. این صدای فش فش، SWI-Prolog در مرورگر خود (http://swish.swi-prolog.org) و همچنین http://lpn.swi-prolog.org (بدانید پرولوگ در حال حاضر! با SWISH جاسازی شده) را فعال کنید.
مارکوس Triska اضافه CLP (ب)، حل محدودیت بولی، CLP خود (FD) بهبود یافته و قبل از چندین پیشرفت به سطح بالا با محدودیت بود.
با تشکر از مت Lilley و مایک الستون، است CQL، یک DSL (دامنه زبان خاص) برای مقابله با SQL وجود دارد. CQL در یک محیط که در آن پایگاه داده های پیچیده SQL هنجار هستند و به همین دلیل از یک زیر مجموعه زیادی از SQL و می تواند با استفاده از جداول با هزاران نفر از ستون ها و چیزهای دیگر که کاربر ocasional SQL انتظار معامله توسعه یافته است.
مت Lilley بهبود پشتیبانی از شبکه به طور قابل توجهی، از جمله پشتیبانی بهتری از پشتیبانی از SSL و به طور کلی برای HTTP و SOCKS سرور های پروکسی.
بسیاری از مردم افزودنیهای فایرفاکس (بسته) که در SWI-Prolog با قانون نسخه 7 تکیه فراهم کرده اند.
جدید در نسخه 6.6.6 / 7.1.37 است:
در پردازش # !، اتصال یک فایل به یک مترجم در یونیکس دیگر تلاش می کند تا در مورد گزینه های پردازش هوشمند به مترجم. اثر این تغییر بستگی به نسخه های یونیکس: برخی تنها گزینه اول عبور می کند، دیگر بسته تمام گزینه را به یکی و در عین حال دیگران انتقال گزینه های پس از شکستن آنها.
ی argv پرچم پرولوگ تنها استدلال است که توسط پرولوگ پردازش فراهم می کند.
فایل init انجام .plrc (pl.ini بر روی ویندوز) دیگر برای در دایرکتوری به دلایل امنیتی جستجو.
جدید در نسخه 6.6.6 / 7.1.31 است:
در پردازش # !، اتصال یک فایل به یک مترجم در یونیکس دیگر تلاش می کند تا در مورد گزینه های پردازش هوشمند به مترجم. اثر این تغییر بستگی به نسخه های یونیکس: برخی تنها گزینه اول عبور می کند، دیگر بسته تمام گزینه را به یکی و در عین حال دیگران انتقال گزینه های پس از شکستن آنها.
ی argv پرچم پرولوگ تنها استدلال است که توسط پرولوگ پردازش فراهم می کند.
فایل init انجام .plrc (pl.ini بر روی ویندوز) دیگر برای در دایرکتوری به دلایل امنیتی جستجو.
جدید در نسخه 6.4.0 است:
به روز شده در کتابخانه RDF به نسخه 3. هر کسی مراقبت در مورد RDF احتمالا در حال حاضر با استفاده از مدل گسترش به این دلیل. اضافه شده تجزیه کننده سریع برای ntriples، لاک پشت و فرمت های تر و تمیز.
معرفی نقل قول شبه برای گنجاندن نرم و ایمن از قطعه زبان خارجی
ارتقا از PlDoc به قبول مشترک سازه های نشانه دار.
بسیاری از پیشرفت های به ابزار توسعه، کتابخانه ها HTTP، بسته clib. و غیره پشتیبانی بهتر برای فرآیندهای یونیکس شبح (syslog را، UID / مدیریت GID، و غیره)
دست زدن به یک شروع برای محلی (حمایت از فرمت / 3، به ویژه نوشتن اعداد صحیح بزرگ خاص محلی.
بسیاری از چیزهای ثبات: سقوط ثابت، تکه های قابل حمل، ساخت پیشرفت سیستم، و غیره
جدید در نسخه 6.2.0 است:
در نسخه اولیه از `پک مدیر بسته
بهتر دست زدن به فایل منبع، به ویژه WRT. : - شامل (فایل).
رفع بسیاری از به دیباگر، بهبود دست زدن به منبع و منطق است که تصمیم می گیرد که در آن پورت پنهان هستند.
نسخه ویندوز حال حاضر با استفاده از این پروژه کامپایلر MinGW، و در نتیجه 10-20٪ افزایش سرعت ساخت. فراهمکنندگان به swipl-win.exe کنسول: کپی / چسباندن و پشتیبانی از رنگ.
جدید در نسخه 6.0.0 است:
پویا فقط در زمان نمایه سازی در استدلال های متعدد.
انتزاع بسیاری از رابط های برنامه کاربردی توسعه، حمایت از IDE PDT.
بسیاری از پاکسازی، رفع اشکال، و غیره
کاهش استفاده از دنباله پشته:
جدید در نسخه 5.11.20 است.
ارائه جمع آوری زباله نسل.
جدید در نسخه 5.11.10 است:
کاهش مصرف دنباله پشته. (تا حدودی)
ارائه جمع آوری زباله نسل.
جدید در نسخه 5.11.9 است:
کاهش مصرف دنباله پشته. (تا حدودی)
ارائه جمع آوری زباله نسل.
جدید در نسخه 5.10.0 است:
در تمام سیستم عامل های نامگذاری سازگار استفاده کنید. اجرایی SWI-Prolog با قانون به نام swipl، لینکر swipl-LD و مدیر resouce فایل swipl-RC.
جدید پشته مدیریت حافظه است که بر روی مبتنی بر پشته تغییر به جای اختصاص پشته کم در محیط مجازی آدرس فضا. این تغییر باعث مقیاس پذیری بسیار بهتر در تعدادی از موضوعات، بنابراین ما نیز حذف از حد موضوع تعداد قدیمی 100. پشته محدودیت هم اکنون می توانید مطرح شود و با استفاده از set_prolog_stack / 2 در زمان اجرا کاهش می یابد.
به طور پیش فرض پشته اندازه محدودیت در حال حاضر در هر پشته در 32 بیتی و 256MB بر روی سخت افزار 64 بیتی 128MB.
نشت گسترده و استرس تست ثابت کرده اند تعدادی از نشت و شرایط مسابقه، ساخت سیستم های زیادی را در راه اندازی سرور های 24x7 قوی تر است.
شروع شده است برای جلوگیری از استفاده از C-پشته برای recursing به شرایط. این اجازه می دهد تا پردازش بسیار عمیق تر تو در تو شرایط و استثنا تمیز اگر منابع کافی برای گذشتن از مدت وجود دارد فراهم می کند. هنوز بسیار به کار در این منطقه وجود دارد.
SWI-Prolog با قانون 5.10.0 مراجع امن برای شرایط پایگاه داده (assertz / 2، recordz / 3) و جریان (باز / 3) معرفی می کند.
تعداد متغیرها در بند در حال حاضر به 1،000،000،000 محدود. این 65535. به علاوه، سیستم فراهم می استثنا برازنده در هنگام مواجهه با منابع خطا و یا تلاش برای اثبات نظر غیر قانونی از قبیل شرایط چرخه ای.
سازگاری به هر دو صدای تند و تیز و SICStus افزایش یافته است.
جدید در نسخه 5.8.2 است:
در پاکسازی: اجرا و مستند از رابط سیگنال.
ثابت: استفاده از --nopce / - PCE برای (DIS) اجازه می دهد گرافیک.
ثابت: GC-اشکال. حذف سلب uwrite بیتی از استدلال پشته
اصلاح شده: حذف abort_with_exception پرچم پرولوگ. آن است که دیگر استفاده می شود.
ثابت: اجتناب از بن بست در حالی که تلاش بعد از یک خطای مهلک را به خروج.
اصلاح شده: is_set / 1 حال حاضر با استفاده مرتب سازی بر / 2. به عنوان یک نتیجه، متغیرهای غیر مشترک هستند عناصر مختلف در نظر گرفته. سفارش N * ورود به سیستم (N) است و محمول ممکن است یک منبع خطا بازگشت.
ثابت: بعد از: - ماژول (X)، انجام هدف گسترش نسبت به ماژول X.
پاکسازی: # 547 مورد: مناسب نقل قول گزاره های تعریف نشده و جایگزین.
DOC: روشن current_arithmetic_function / 1.
DOC: ارائه snippit در دسترس بودن برای C-توابع
ثابت: ساده قبلی خراب محیط مدیریت متغیر از کامپایلر. همچنین اضافه شده مورد آزمون.
ثابت: اشکال # 436: وحدت یک متغیر را با خود یک حلقه مرجع ایجاد می کند.
جدید در نسخه 5.7.14 است:
ثابت: متقابل referencer به تشخیص: از 0 در اظهارات متا محمول
پاکسازی: استفاده از meta_predicate برای predsort / 3
اصلاح شده: را / 0 در حال حاضر تنها اسکن برای ارجاع به گزاره های تعریف نشده در ماژول های که حاوی آنها. list_undefined / 0 هنوز هم در سطح جهانی جستجو می کند.
پیشرفته: CLP (FD): global_cardinality قوس سازگار / 2 اگر جفت در ابتدا زمین.
ثابت: دسته (چندفایلی) محمولات که برخی بندهای دارند بدن خود را برای مدل دیگر و برخی در همان. مت Lilley.
اضافه شده:٪ [& # x3c؛ N & # x3e.] فرمت F به format_time / 3 برای مقابله با کسری از ثانیه صورت گرفت. استفاده شده توسط برنامه های افزودنی اشکال زدایی جدید است.
اضافه شده: debug_message_context (+ | -Context) برای مشخص کردن زمینه های اضافی دیگری نیز اشکال زدایی (مانند زمان مهر و موم).
ثابت: اطمینان apply_macros انجام گسترش به هدف خود در زمینه ماژول سیستم
پیشرفته: CLP (FD): global_cardinality سریع تر / 2 اگر جفت کلید-NUM هستند زمین.
ثابت: دسته اپراتور اولویت در چاپ پاسخ. مارکوس Triska.
پیشرفته: استفاده از گزینه های چاپ سطح بالا برای اهداف باقی مانده، اجرای پاکسازی
پیشرفته: را term_variables و term_attvars کارآمد اگر یک لیست داده شده است (به ویژه term_attvars (مدت، [])).
پیشرفته: ایجاد پایگاه داده ثبت شده با استفاده از جدید مدت واکر کد
پیشرفته: راه اندازی اولین از یک اسکلت برای تراورس نظر با استفاده از یک حلقه ساده به جای یک روال بازگشتی. در حال حاضر در حال استفاده برای term_variables / 2 و محمولات مرتبط است. طرح به نظر می رسد کافی است، اما کد پشته تقسیم باید بطور قابل توجهی بهینه شده است. عنوان شده است، term_variables / 2 کمی کندتر (5٪) است، اما می تواند شرایط عمیقا تو در تو با حافظه بسیار کمتر و بدون سرریز پشته را اداره کند.
اضافه شده: term_attvars / 2 برای پشتیبانی بهتر از copy_term / 3. پس از گفتگو با مارکوس Triska.
اضافه شده: del_attrs / 1 را حذف کنید * تمام ویژگی های *. ساده copy_term / 3.
جدید در نسخه 5.7.12 است:
در بهبود عملکرد در برنامه های بزرگتر است بین 10 تا 40 درصد، بسته به سبک برنامه نویسی. قابل ذکر است حل محدودیت سود قابل توجهی است. برنامه های کوچک گاهی اوقات تند بسیار بزرگتر نشان می دهد.
از آنجا که 5.7.4، به روز رسانی سیستم ماژول
بسیاری از پاکسازی در نامگذاری و پیمانه از کد.
نظر یافت نشد