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