| Type |  Book |
| ชื่อเรื่อง | Programming with higher-order logic / Dale Miller and Gopalan Nadathur |
| ผู้แต่ง | Miller, Dale. (Dale A.) |
| ISBN | 9780521879408 (hbk.) |
| พิมพลักษณ์ | New York : Cambridge University Press, 2012 |
| รูปเล่ม | xiii, 306 p. ; 24 cm |
| หัวเรื่อง | Logic programming |
| | Prolog (Computer program language) |