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