Programming in prolog - Clocksin, William F (Springer-Verlag, 1987)
Collection ศ.ดร.วริทธิ์ อึ๊งภากรณ์ (c.1)