يطلق هذا المصطلح لغة البرولوج (prolog) على تلك اللغات البرمجية المنطقية لبناء النظم الخبيرة ، إذ تعتبر هذه اللغة أكثر علواً من لغة الليسب وتتميز بوجود التسلسل المنطقي إضافة إلى تمثيل العلاقات .