XSB מערכת תכנות כדי לעזור לך עם העבודה שלך.
הורד עכשיו

XSB דירוג וסיכום

XSB תגים

התפתחות לְפַתֵחַ מערכת מסד נתונים מערכת תכנות מערכת דדוקטיבית דֵדוּקטִיבִי

XSB תיאור

XSB נוצר כקל לשימוש, תכנות הלוגיקה שימושי ומערכת מסד נתונים דדוקציה. החלטה צבועת שימושי עבור חישוב שאילתה רקורסיבי, המאפשר תוכניות לסיים כראוי במקרים רבים שבהם פרולוג לא. משתמשים המעוניינים ניתוח, ניתוח התוכנית, בדיקת מודל, כריית נתונים, אבחון והיגיון הטמפורלי עשוי להפיק תועלת XSB. XSB תומך תצורה המאפשרת חוטים מרובים של חישוב בתוך תהליך יחיד תחת מודל Posix. XSB מכיל מגוון רחב של תכונות לתמיכה ביישומים מוכווני נתונים בזיכרון. באמצעות תכונות אלה, בסיסי ידע עם מיליוני סעיפים ניתן לטעון במהירות וביעילות באינדקס.

XSB תוכנה קשורה