שפת תכנות, שאינה תלויה במבנה שפת המכונה של מחשב מסוים. השפה משתמשת בסמלים ובביטויים דמויי־אנגלית, וזקוקה להידור או לפירוש לצורך העברתה לשפת מכונה, וכל משפט בשפה עילית יכול להיות מתורגם למספר הוראות בשפת מכונה. קיימות שפות עיליות רבות, כגון: פסקל, פרולוג, קובול, פורטרן ועוד ועוד.
high-level language
***