البرولوغ: البرمجة المنطقية. prolog: programming logic.
وهي إحدى لغات الذكاء الصناعي، وتفيد في بناء القواعد المعرفية(nology base). لغة المنطق العائم التي لاتزال لغة الجيل الخامس من الحواسيب
