000 00591pam a2200205a 44500
003 OSt
008 160408bc1988 xxu||||| |||| 00| 0 eng d
020 _a0825366814
040 _cIIT Kanpur
041 _aeng
082 _a001.6424
_bM281c
100 _aMaier, David
245 1 _aComputing with logic
_cDavid Maier and David S. Warren
_blogic programming with Prolog
260 _aCalifornia
_bBenjamin/Cummings Publishing
_c1988
300 _axxi, 535p
650 _aProlog (Computer Program Language)
650 _aLogic Programming
700 _aWarren, David S.
942 _cBK
999 _c312776
_d312776