_ פירוש

תוכנת מחשב, המאתרת שגיאות תחביריות בתכניות מחשב אחרות או בנתונים. checking program תוכנת הֶיקֵש במחשבים, בבינה מלאכותית: תוכנה המסיקה מסקנות מתוך עובדות נתונות על פי כללים לוגיים
inference program ,inference plan

***