وانها أغراض البرمجة منطق مفيدة، والذكاء الاصطناعي واللغويات الحاسوبية
ما هو الجديد في هذا الإصدار:.
نوع ديكت جديد وتركيب يوفر الوقت وإسم المنتج كفاءة الفضاء خرائط قيمة مع تركيب لطيف.
ونتيجة لذلك، كان من الضروري استبدال القائمة منشئ (H، T) من قبل (أيضا في استخدام الزئبق) '[|] ". (H، T). قد تبدو جذرية، ولكن في الواقع يؤثر فقط على عدد قليل من البرامج، وخاصة القيام functor (مدة، F، A) في القوائم ثم تحديد مزيد من المعالجة على F == '.'، A == 2. لتشغيل أكثر من قوائم إلى بناء خاص، هو [] لا تزال قائمة فارغة، ولكن لم يعد نفس '[]'، أي [] ليست في الذرة.
بناء الجملة ومثل؛ ... & مثل؛ تم تعيينها الآن إلى سلاسل. سلاسل متوافقة مع الكسوف (بفضل يواكيم Schimpf لجميع المناقشات). هي التي شيدت رمز القوائم التقليدية باستخدام .... وأعلام double_quotes وback_quotes السيطرة على هذا السلوك.
بفضل توربيورن الجعة، لدينا ومثل؛ Pengines ومثل ؛، محركات حاسوب على شبكة الإنترنت. وهذا يوفر API عام لنتحدث بشكل مريح إلى خادم حاسوب من جافا سكريبت والحالات حاسوب الأخرى. مكن SWISH، SWI-حاسوب في المتصفح الخاص بك (http://swish.swi-prolog.org)، وكذلك http://lpn.swi-prolog.org (تعرف على حاسوب الآن! مع SWISH جزءا لا يتجزأ).
وأضاف ماركوس Triska CLP (ب)، والقيد حلالا منطقية، وتحسين CLP له (FD)، وكان قبل عدة تحسينات على toplevel التعامل مع القيود.
بفضل مات يللي ومايك إيلستون، هناك CQL، وهو DSL (مجال اللغة محددة) للتعامل مع SQL. تم تطوير CQL في بيئة حيث قواعد البيانات SQL معقدة هي القاعدة، وبالتالي تدعم مجموعة فرعية كبيرة من SQL، ويمكن التعامل مع الجداول مع الآلاف من الأعمدة وغيرها من الاشياء التي يقوم المستخدم SQL ocasional لن نتوقع.
تحسين مات يللي دعم الشبكة بشكل ملحوظ، بما في ذلك دعم أفضل بكثير للSSL والدعم العام لكل من HTTP وخوادم بروكسي SOCKS.
وقد وفرت الكثير من الناس إضافات (حزم) التي تعتمد على SWI-حاسوب الإصدار 7.
ما هو الجديد في الإصدار 7.2.1 / 7.3.3-ديف:
نوع ديكت جديد وتركيب يوفر الوقت والكفاءة الفضاء الخرائط اسم القيمة مع بناء الجملة لطيف.
ونتيجة لذلك، كان من الضروري استبدال القائمة منشئ (H، T) من قبل (أيضا في استخدام الزئبق) '[|] ". (H، T). قد تبدو جذرية، ولكن في الواقع يؤثر فقط على عدد قليل من البرامج، وخاصة القيام functor (مدة، F، A) في القوائم ثم تحديد مزيد من المعالجة على F == '.'، A == 2. لتشغيل أكثر من قوائم إلى بناء خاص، هو [] لا تزال قائمة فارغة، ولكن لم يعد نفس '[]'، أي [] ليست في الذرة.
بناء الجملة ومثل؛ ... & مثل؛ تم تعيينها الآن إلى سلاسل. سلاسل متوافقة مع الكسوف (بفضل يواكيم Schimpf لجميع المناقشات). هي التي شيدت رمز القوائم التقليدية باستخدام .... وأعلام double_quotes وback_quotes السيطرة على هذا السلوك.
بفضل توربيورن الجعة، لدينا ومثل؛ Pengines ومثل ؛، محركات حاسوب على شبكة الإنترنت. وهذا يوفر API عام لنتحدث بشكل مريح إلى خادم حاسوب من جافا سكريبت والحالات حاسوب الأخرى. مكن SWISH، SWI-حاسوب في المتصفح الخاص بك (http://swish.swi-prolog.org)، وكذلك http://lpn.swi-prolog.org (تعرف على حاسوب الآن! مع SWISH جزءا لا يتجزأ).
وأضاف ماركوس Triska CLP (ب)، والقيد حلالا منطقية، وتحسين CLP له (FD)، وكان قبل عدة تحسينات على toplevel التعامل مع القيود.
بفضل مات يللي ومايك إيلستون، هناك CQL، وهو DSL (مجال اللغة محددة) للتعامل مع SQL. تم تطوير CQL في بيئة حيث قواعد البيانات SQL معقدة هي القاعدة، وبالتالي تدعم مجموعة فرعية كبيرة من SQL، ويمكن التعامل مع الجداول مع الآلاف من الأعمدة وغيرها من الاشياء التي يقوم المستخدم SQL ocasional لن نتوقع.
تحسين مات يللي دعم الشبكة بشكل ملحوظ، بما في ذلك دعم أفضل بكثير للSSL والدعم العام لكل من HTTP وخوادم بروكسي SOCKS.
وقد وفرت الكثير من الناس إضافات (حزم) التي تعتمد على SWI-حاسوب الإصدار 7.
ما هو الجديد في الإصدار 7.2.0 / 7.3.1-ديف:
نوع ديكت جديد وتركيب يوفر الوقت والكفاءة الفضاء الخرائط اسم القيمة مع بناء الجملة لطيف.
ونتيجة لذلك، كان من الضروري استبدال القائمة منشئ (H، T) من قبل (أيضا في استخدام الزئبق) '[|] ". (H، T). قد تبدو جذرية، ولكن في الواقع يؤثر فقط على عدد قليل من البرامج، وخاصة القيام functor (مدة، F، A) في القوائم ثم تحديد مزيد من المعالجة على F == '.'، A == 2. لتشغيل أكثر من قوائم إلى بناء خاص، هو [] لا تزال قائمة فارغة، ولكن لم يعد نفس '[]'، أي [] ليست في الذرة.
بناء الجملة ومثل؛ ... & مثل؛ تم تعيينها الآن إلى سلاسل. سلاسل متوافقة مع الكسوف (بفضل يواكيم Schimpf لجميع المناقشات). هي التي شيدت رمز القوائم التقليدية باستخدام .... وأعلام double_quotes وback_quotes السيطرة على هذا السلوك.
بفضل توربيورن الجعة، لدينا ومثل؛ Pengines ومثل ؛، محركات حاسوب على شبكة الإنترنت. وهذا يوفر API عام لنتحدث بشكل مريح إلى خادم حاسوب من جافا سكريبت والحالات حاسوب الأخرى. مكن SWISH، SWI-حاسوب في المتصفح الخاص بك (http://swish.swi-prolog.org)، وكذلك http://lpn.swi-prolog.org (تعرف على حاسوب الآن! مع SWISH جزءا لا يتجزأ).
وأضاف ماركوس Triska CLP (ب)، والقيد حلالا منطقية، وتحسين CLP له (FD)، وكان قبل عدة تحسينات على toplevel التعامل مع القيود.
بفضل مات يللي ومايك إيلستون، هناك CQL، وهو DSL (مجال اللغة محددة) للتعامل مع SQL. تم تطوير CQL في بيئة حيث قواعد البيانات SQL معقدة هي القاعدة، وبالتالي تدعم مجموعة فرعية كبيرة من SQL، ويمكن التعامل مع الجداول مع الآلاف من الأعمدة وغيرها من الاشياء التي يقوم المستخدم SQL ocasional لن نتوقع.
تحسين مات يللي دعم الشبكة بشكل ملحوظ، بما في ذلك دعم أفضل بكثير للSSL والدعم العام لكل من HTTP وخوادم بروكسي SOCKS.
وقد وفرت الكثير من الناس إضافات (حزم) التي تعتمد على SWI-حاسوب الإصدار 7.
ما هو الجديد في الإصدار 6.6.6 / 7.1.37:
تجهيز # !، ملزم ملف إلى مترجم في يونكس لم يعد يحاول أن يكون ذكية حول خيارات المعالجة ل المترجم. تأثير هذا التغيير يعتمد على إصدارات يونكس: بعض تمرير سوى الخيار الأول، والبعض الآخر حزمة كافة الخيارات في واحدة وبعضها الآخر تمرير خيارات بعد كسرها.
على حاسوب العلم ARGV يوفر سوى الحجج التي لم يتم معالجتها بواسطة حاسوب.
لم يعد بتفتيش .plrc ملف الحرف الأول (pl.ini على ويندوز) في دليل العمل لأسباب أمنية.
ما هو الجديد في الإصدار 6.6.6 / 7.1.31:
تجهيز # !، ملزم ملف إلى مترجم في يونكس لم يعد يحاول أن يكون ذكية حول خيارات المعالجة ل المترجم. تأثير هذا التغيير يعتمد على إصدارات يونكس: بعض تمرير سوى الخيار الأول، والبعض الآخر حزمة كافة الخيارات في واحدة وبعضها الآخر تمرير خيارات بعد كسرها.
على حاسوب العلم ARGV يوفر سوى الحجج التي لم يتم معالجتها بواسطة حاسوب.
لم يعد بتفتيش .plrc ملف الحرف الأول (pl.ini على ويندوز) في دليل العمل لأسباب أمنية.
ما هو الجديد في الإصدار 6.4.0:
تحديث المكتبة RDF إلى الإصدار 3. لأي شخص يهتم RDF ربما كان بالفعل باستخدام نسخة التطوير لهذا السبب. وأضاف موزعي سريع لntriples، السلاحف والأشكال علم حساب المثلثات.
مقدمة من الاقتباس شبه لإدراجها على نحو سلس وآمن من قصاصات لغة الخارجية
ترقية من PlDoc لقبول بنيات تخفيض السعر المشتركة.
العديد من التحسينات إلى أدوات التطوير والمكتبات HTTP، حزمة clib. الخ دعم أفضل للعمليات يونكس الديمون (سيسلوغ، UID / إدارة المخابرات العامة، الخ)
بداية للغة التعامل مع (دعم تنسيق / 3، لا سيما كتابة اللغة أعداد صحيحة كبيرة محددة.
الكثير من الاشياء الاستقرار: تحطم الثابتة، والبقع قابلية، وبناء تعزيزات النظام، الخ
ما هو الجديد في الإصدار 6.2.0:
الإصدار الأولي لل`حزمة" مدير مجموعة
أفضل التعامل مع الملف المصدر، لا سيما بخصوص. : - تشمل (ملف).
العديد من الإصلاحات إلى المصحح، وتحسين التعامل مع مصدر والمنطق الذي تقرر على المنافذ التي هي المخفية.
نسخة ويندوز بناء الآن باستخدام مشروع مترجم مينغو، مما أدى إلى 10-20٪ تسريع. تحسينات على swipl-win.exe حدة: نسخ / لصق ودعم للألوان.
ما هو الجديد في الإصدار 6.0.0:
الديناميكي الفهرسة فقط في الوقت المناسب على حجج متعددة.
تستخرج الكثير من واجهات برمجة التطبيقات التنمية، ودعم IDE PDT.
الكثير من تنظيف، إصلاح الأخطاء، الخ
ما هو الجديد في الإصدار 5.11.20:
انخفاض استخدام درب كومة.
توفير جمع القمامة الأجيال.
ما هو الجديد في الإصدار 5.11.10:
تقليل استخدام درب كومة. (جزئيا)
توفير جمع القمامة الأجيال.
ما هو الجديد في الإصدار 5.11.9:
تقليل استخدام درب كومة. (جزئيا)
توفير جمع القمامة الأجيال.
ما هو الجديد في الإصدار 5.10.0:
جميع المنصات الآن استخدام تسمية متناسقة. ويطلق على تنفيذ SWI-حاسوب swipl، رابط swipl-دينار ومدير من resouce ملف swipl-الصليب الأحمر.
كومة جديدة إدارة الذاكرة التي تقوم على كومة يتحول بدلا من تخصيص أكوام متناثرة في الظاهري عنوان الفضاء. يسمح هذا التغيير لتطويره أفضل بكثير في عدد من المواضيع، لذلك نحن أيضا إزالة الحد خيط القديم 100. ويمكن الآن أن أثار حدود المكدس وخفضت في وقت التشغيل باستخدام set_prolog_stack / 2.
الافتراضي كومة حجم حدود و128MB الآن في كومة على 32 بت و 256MB على الأجهزة 64 بت.
تسرب واسعة والإجهاد اختبار وإصلاح عدد من التسريبات وظروف السباق، مما يجعل النظام أكثر قوة في إعداد ملقم 24X7.
تم إجراء البداية الى تجنب استخدام C-المكدس لrecursing إلى الشروط. وهذا يسمح معالجة أكثر من ذلك بكثير متداخلة بعمق المصطلحات واستثناء نظيفة إذا كانت هناك موارد كافية لاجتياز هذا المصطلح. لا يزال هناك الكثير للقيام به في هذا المجال.
SWI-حاسوب 5.10.0 يقدم إشارات آمنة لشروط قاعدة البيانات (assertz / 2، recordz / 3) وتيارات (فتح / 3).
عدد المتغيرات في بنود يقتصر الآن على 1000000000. كان هذا 65535. وبالإضافة إلى ذلك، يوفر هذا النظام للاستثناءات رشيقة عندما يواجه-أخطاء الموارد أو محاولة فرض شروط غير قانونية مثل مصطلحات دوري.
ومما يعزز التوافق على كل YAP وSICStus.
ما هو الجديد في الإصدار 5.8.2:
تنظيف: تنفيذ وتوثيق واجهة إشارة.
ثابتة: استخدام --nopce / - نفقات الاستهلاك الشخصي لل(ديس) مما يسمح الرسومات.
ثابتة: GC-علة. حذف تجريد uwrite بت من حجة كومة
التعديل: إزالة وabort_with_exception علم حاسوب. لم يعد استخدامه.
ثابتة: تجنب الجمود بينما كان يحاول الخروج بعد خطأ فادح.
تعديل: يستخدم is_set / 1 الآن نوع / 2. ونتيجة لذلك، تعتبر متغيرات غير المشتركة العناصر المختلفة. النظام هو N * سجل (N) والمسند قد ترجع للخطأ الموارد.
ثابتة: أما بعد: - وحدة (خ)، نفذ هدف التوسع النسبي للوحدة السينية.
تنظيف: # البند 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 إذا أزواج هي البداية الأرض.
ثابتة: التعامل مع (multifile) المسندات التي بعض البنود لديها الجسم في وحدة أخرى والبعض في نفسه. مات ليلي.
أضاف:٪ [& # x3c؛ ن & # x3e]؛ تنسيق و لformat_time / 3 للتعامل مع كسور ثواني. يستخدمه ملحقات التصحيح الجديدة.
أضاف: debug_message_context (+ | -Context) لتحديد إطار إضافي للرسائل التصحيح (مثل طابع الوقت).
ثابتة: جعل apply_macros القيام التوسع هدفها في سياق وحدة النظام
المحسن: CLP (FD): أسرع global_cardinality / 2 إذا أزواج مفتاح الصيغة الرقميه هي الأرض.
ثابتة: التعامل مع مشغل الأولوية في الإجابة الطباعة. ماركوس Triska.
المحسن: استخدام خيارات الطباعة toplevel لتحقيق الأهداف المتبقية، تنفيذ تنظيف
المحسن: جعل 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٪، اعتمادا على أسلوب البرمجة. لا سيما يحلون القيد ربح كبير. تظهر البرامج الصغيرة في بعض الأحيان speedups أكبر من ذلك بكثير.
منذ 5.7.4، تحديث نظام وحدة
الكثير من تنظيف في تسمية وتقنينها من مصدر برنامج.
لم يتم العثور على التعليقات