اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
لغة تعريفية:- نوع من لغات البرمجة، تحدد عباراتُه الخصائص التي يجب أن تكون عليها نتائج البرنامج، دون تحديد لكيفية الحصول على هذه النتائج. وفى الحالة المثالية لهذه اللغة يتكون البرنامج من مجموعة العلاقات بين المدخلات والمخرجات، في شكل قواعد أو معادلات لا يَحَدَوُ ترتيب لتنفيذها كما في لغات البرمجة الأخرى. (معجم الحاسبات)