[Giáo trình] Lập trình logic trong Prolog bao gồm 5 chương. Download: http://tailieu.2mit.org/download/Khoa-Khoa-hoc-may-tinh/Lap-trinh-logic-trong-Prolog.html
Của mọi người đây http://tailieu.2mit.org/download/Phan-mem-hoc-tap/SWI-Prolog-Phan-mem-lap-trinh-logic.html