שפה :: XSB. שפה :: XSB הוא מודול Perl המאפשר לך להשתמש XSB מ Perl.
הורד עכשיו

שפה :: XSB. דירוג וסיכום

שפה :: XSB. תגים

פרל מודול שפה XSB שפה. Perl XSB XSB

שפה :: XSB. תיאור

שפה :: XSB הוא מודול Perl המאפשר לך להשתמש XSB מ Perl. שפה :: XSB הוא מודול Perl המאפשר לך להשתמש XSB מ Perl.Synopsis השתמש בשפה :: XSB ': שאילתה'; שימוש שפה :: Prolog :: סוגי :: עומס יתר; שפה :: Prolog :: סוכר Vars => , Functors => {שווה => '='}, functors => , שרשראות => {plus => '+' , אורן => ';}; XSB_SET_QUERY (שווה (x, 34), שווה (Y, -12), הוא (Z, פלוס (X, Y, 1000)); בעוד (xsb_next () {printf ("x =% d, y =% d, z =% dn", xsb_var (x), xsb_var (y), xsb_var (z))} הדפס הצטרף ("n", xsb_find_all (x, 47), שווה (x, 45)), x)), "n"; absractlanguage :: XSB מספק ממשק דו-כיווני ל- XSB.Net/).from המדריך XSB: XSB הוא תכנות לוגי מוכווני מחקר ומערכת מסד נתונים דדוקטיבית שפותחה ב Suny Stony ברוק. בנוסף למתן כל הפונקציונליות של פרולוג, הוא מכיל תכונות לא נמצאו בדרך כלל במערכות תכנות ההיגיון כגון הערכה על פי הסמנטיקה המיוספת היטב באמצעות רזולוציה מלאה SLG, טיפול אילוצים עבור תוכניות צבועות, איחוד פקטורינג ואיחוד מערכות אחרות כגון ODBC, C, Java, Perl, ו Oraclethis החבילה מיישמת ממשק דו-כיווני ל- XSB, Thats אומר כי Perl יכול להתקשר XSB שיכולים להתקשר Perl בחזרה זה יכול להתקשר XSB שוב, וכו ': Perl -> XSB -> Perl -> XSB -> ... (למרבה הצער, אתה צריך להתחיל מ Perl, XSB-> Perl -> ... לא אפשרי.) ממשק ל- XSB מבוסס על האובייקטים שנוצרו על ידי החבילה שפה :: פרולוג: : סוגי. אתה יכול גם להשתמש בשפה :: פרולוג :: חבילת סוכר, סוף חזית עבור החבילה סוג כדי לשפר את המראה של המקור שלך (רק כמה סוכר תחבירית). כדי לעשות שאילתות ל XSB אתה צריך להגדיר תחילה את מונח השאילתה עם הפונקציה XSB_SET_QUERY, ולאחר מכן להשתמש XSB_NEXT ו- XSB_Result כדי לאשר את זה ולקבל את התוצאות בחזרה.וני שאילתה אחת יכולה להיות פתוחה בכל עת, אלא אם כן כאשר Perl נקרא בחזרה מ- XSB, אבל אז השאילתה הישנה אינה גלויה.הפעלה: · פרל דרישות: · פרל

שפה :: XSB. תוכנה קשורה