| Type |  Book |
| ชื่อเรื่อง | Logic and prolog / Richard Spencer-Smith |
| ผู้แต่ง | Spencer-smith, Richard |
| ISBN | 0745010237 (pbk) |
| พิมพลักษณ์ | New York : Harvester Wheatsheaf, c1991 |
| รูปเล่ม | 392 p. : ill |
| หัวเรื่อง | Logic programming languages |
| | Prolog (Computer program language) |