Lập trình lôgic trong PROLOG - Phan, Huy Khánh (Đại Học Quốc Gia Hà Nội, 2004)