מתמטיקה :: לוגיקה :: predicate מתמטיקה :: ההיגיון :: predicate הוא מודול perl לנהל ולשילוי מסד נתונים טוען predicate.
הורד עכשיו

מתמטיקה :: לוגיקה :: predicate דירוג וסיכום

מתמטיקה :: לוגיקה :: predicate תגים

שאילתא פרל מודול לנהל לנהל טענה נשוא שאילתה נשוא קביעה

מתמטיקה :: לוגיקה :: predicate תיאור

מתמטיקה :: לוגיקה :: predicate הוא מודול perl לנהל ולשילוי מסד נתונים טוען predicate. מתמטיקה :: לוגיקה :: predicate הוא מודול perl לנהל ולשילוי מסד נתונים טוען predicate.synopsis להשתמש במתמטיקה :: ההיגיון :: predicate; $ db = מתמטיקה חדשה :: לוגיקה :: predicate; # הזן כמה predicates לתוך מסד הנתונים $ db-> הוסף (retract ('חכם (_)); # לעשות שאילתה $ שאילתה = $ DB-> לנתח (' אנושי (H) ושם (H, x)? ' ) $ ITER = $ DB-> התאמה ($ שאילתה, $ ITER); # קבל את התוצאות $ $ = $ DB-> קבל ($ ITER, 'X'); # לאחסן אותו כלל $ db-> הוסף ('human_name (h, n): = אדם (h) ואת השם (H, n).'); # השתמש בו בשאילתה $ ITER = $ DB-> התאמה ('Human_name (ליסטר, n)?')) # # שמור אותו לשימוש בקובץ: חנות ($ db-> כללים, 'Red_dwarf'); דרישות: · פרל

מתמטיקה :: לוגיקה :: predicate תוכנה קשורה