תוכנת הַגָהה מחשבים ומערכות מידע
לועזית: inference program ,inference plan

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