لغة NUA-Prolog هي لغة برمجة من نوع Prolog وظهرت لأول مرة في عام 1991. تم تطويرها من قبل Douglas Frank Palmer، وهي مشروع أكاديمي مرتبط بجامعة ملبورن.
تم تصميم NUA-Prolog كلغة برمجة منطقية تستند إلى المنطق الرياضي، وتستخدم في العديد من التطبيقات التي تتطلب المنطق والاستدلال الرياضي. تتميز بقدرتها على التعبير عن المعرفة والقواعد والاستعلامات بشكل مباشر وبسيط، مما يجعلها مفيدة في مجالات مثل الذكاء الاصطناعي ونظم المعرفة.
رغم أنه لم يتم الإبلاغ عن وجود موقع ويب رسمي أو مستودع GitHub لـ NUA-Prolog، إلا أنها تعتبر جزءًا من المجتمع الأكاديمي في جامعة ملبورن. ومن المهم أن نلاحظ أن عدد مستودعات الحزم المركزية للغة هو صفر، مما يشير إلى أنه قد لا تكون لديها نظام مركزي لإدارة الحزم.
يتضمن Prolog ميزات مثل التعليقات والمحاذاة الدلالية، ولكنها لم تذكر بشكل محدد في المعلومات المتوفرة بشأن NUA-Prolog. إذا كانت لديك أي استفسارات محددة حول الميزات الأخرى أو استخدامات اللغة، فلا تتردد في طرحها.