اللغات البرمجية المنطقية، إحدى تصنيفات وأنواع لغات البرمجة والتي تقوم باستعمال المنطق الرياضي من أجل برمجة الكمبيوتر ، وتختلف تلك اللغات عن الأنواع المختلفة في أن القائم بالبرمجة لا يقوم بحل المشكلة بشكل كامل بل جزء بسيط منها فقط، بشكل مبسط هي لغات تقوم بالتنبؤ بالعواقب المستقبلية إعتمادا علي البيانات التي يتم إدخالها،
و من أشهر لغات هذا النوع:
- لغة ALF.
- لغة Fril.
- لغة Roop.
- لغة Leda.
- لغة Alma-0.
- لغة Curry.
- لغة Prolog .
المراجع
sites.google.com
التصانيف
تكنولوجيا العلوم البحتة العلوم التطبيقية