برمجة برولوغ

البرولوغ: البرمجة المنطقية. prolog: programming logic.

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