Phan Huy Khánh. (2004). Lập trình lôgic trong Prolog. H: Đạ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: Đạ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: Đạ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%.