Phan, H. K. (2004). Lập trình lôgic trong PROLOG. Hà Nội: Đại Học Quốc Gia Hà Nội.
Trích dẫn kiểu ChicagoPhan, Huy Khánh. Lập Trình Lôgic Trong PROLOG. Hà Nội: Đại Học Quốc Gia Hà Nội, 2004.
Trích dẫn MLAPhan, Huy Khánh. Lập Trình Lôgic Trong PROLOG. Hà Nội: Đại Học Quốc Gia Hà Nội, 2004.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.