Lập Trình Logic Trong ProLog - PGS.TS. PHAN HUY KHÁNH phần 1

Prolog là ngôn ngữ lập trình logic( programming in logic) do GS A.Colmerauer đưa ra lần đầu tiên vào năm 1972 tại trường ĐH Maseille, Pháp.