Lập trình Turbo Prolog 2.0 - Phan Trương Dần (Hà Nội : Giáo dục, 1993)