If you do not find what you're looking for, you can use more accurate words.
لغة تعريفية:- نوع من لغات البرمجة، تحدد عباراتُه الخصائص التي يجب أن تكون عليها نتائج البرنامج، دون تحديد لكيفية الحصول على هذه النتائج. وفى الحالة المثالية لهذه اللغة يتكون البرنامج من مجموعة العلاقات بين المدخلات والمخرجات، في شكل قواعد أو معادلات لا يَحَدَوُ ترتيب لتنفيذها كما في لغات البرمجة الأخرى. (معجم الحاسبات)