| Type |  Book |
| ชื่อเรื่อง | Techniques of prolog programming : with implementation of logical negation and quantified goals / T. Van Le |
| ผู้แต่ง | Le van t |
| ISBN | 0471599700 |
| พิมพลักษณ์ | New York : John Wiley & Sons, 1993 |
| ครั้งที่พิมพ์ | 1st ed |
| รูปเล่ม | xviii, 601 p. ; 24 cm |
| หัวเรื่อง | Negation (Logic) |
| | Prolog (Computer program language) |