اذا لم تجد ما تبحث عنه يمكنك استخدام كلمات أكثر دقة.
لُغاتُ بَرْمَجَةِ المَنْطِقِ:- مجموعة من لغات البرمجة تستخدم الرموز، لتمثيل العمليات المنطقية، وتهدف إلى جعل البرمجة عملية منطقية بحتة، ومن أوسع هذه اللغات انتشارًا اللغة المعروفة باسم لغة برولوج PROLOG. (معجم الحاسبات)