Programming in Prolog : [using the ISO standard]
	Tác giả: W F Clocksin, C S Mellish
	Xuất bản: Berlin: Springer, 2003
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.133  Thêm vào giỏ

Algorithmic program debugging
	Tác giả: Ehud Y Shapiro
	Xuất bản: Cambridge Massachusetts: MIT Press, 1983
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  001.642  Thêm vào giỏ

Lập trình lôgic trong Prolog
	Tác giả: Phan Huy Khánh
	Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội, 2004
	Bộ sưu tập: Công nghệ thông tin
	Bản in ddc:  005.133  Thêm vào giỏ

Prolog programming for artificial intelligence
	Tác giả: Ivan Bratko
	Xuất bản: Wokingham England Reading Mass: AddisonWesley, 1986
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Prolog programming for artificial intelligence
	Tác giả: Ivan Bratko
	Xuất bản: Wokingham England Reading Mass: AddisonWesley, 2012
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Warren's abstract machine : a tutorial reconstruction
	Tác giả: Hassan A�it-Kaci
	Xuất bản: Cambridge Massachusetts: MIT Press, 1991
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  Thêm vào giỏ

Artificial intelligence : structures and strategies for complex problem solving
	Tác giả: George F Luger
	Xuất bản: Harlow England New York: AddisonWesley, 2005
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Artificial intelligence : structures and strategies for complex problem solving
	Tác giả: George F Luger
	Xuất bản: Harlow England New York: Pearson Education, 2002
	Bộ sưu tập: Công nghệ thông tin
	Bản in ddc:  006.3  Thêm vào giỏ