פּרולוג מחשבים ומערכות מידע
לועזית: prolog

שפת תכנות עילית שהיא שפה הצהרתית־לוגית. היא פותחה בשנת 1973, ומשמשת במחקר ופיתוח של בינה מלאכותית. תכנית בפרולוג כוללת משפטים שערכם אמת או שקר, ובעת ביצועה מנסה המפענח להגיע לתוצאה שערכה אמת.