Prolog : a relational language and its applications - Malpas, John (Prentice Hall, 1987)
Includes index. Collection ศ.ดร.วริทธิ์ อึ๊งภากรณ์ (c.3)