Lập trình lôgic trong Prolog - Phan Huy Khánh, TS (Đại học Quốc gia, 2004)