Artificial intelligence through prolog - Rowe, Neil C (Prentice Hall, 1988)
Includes index. Collection ศ.ดร.วริทธิ์ อึ๊งภากรณ์ (c.3)