XSB. نظام برمجة لمساعدتك في عملك.
التحميل الان

XSB. الترتيب والملخص

XSB. العلامات

تطوير طور نظام قاعدة البيانات نظام البرمجة نظام استنتاجي استنتاجي

XSB. وصف

تم إنشاء XSB كبرمجة منطق وسهلة الاستخدام وسهلة الاستخدام ونظام قاعدة بيانات استنتاجي. القرار Taffed مفيد لحساب الاستعلام العسكري، مما يسمح للبرامج بإنهاء بشكل صحيح في العديد من الحالات التي لا تفعلها PROLOG. قد يستفيد المستخدمون المهتمون بتحليل وتحليل البرامج والتدقيق النموذجي والتعدين في البيانات والتشخيص والمنطق الزمني من XSB. يدعم XSB تكوين يسمح بواضيع متعددة من الحسابات داخل عملية واحدة ضمن نموذج Posix. يحتوي XSB على مجموعة متنوعة من الميزات لدعم التطبيقات الموجهة نحو البيانات في الذاكرة. باستخدام هذه الميزات، يمكن تحميل قواعد المعرفة بملايين البنود مفهرسة بسرعة وكفاءة.

XSB. برامج ذات صلة