Giáo trình Giới thiệu ngôn ngữ lập trình Prolog lôgich
Prolog là ngôn ngữ được sử dụng phổ biến nhất trong dòng các ngôn ngữ lập trình loogich (Prolog có nghĩa là PROgramming in LOGic). Ngôn ngữ Prolog do giáo sư người Pháp Alain Colmerauer và nhóm nghiên cứu của ông đề xuất lần đầu tại trường Đại học Marseille đầu những năm 1970.