000 00563pam a2200193a 44500
003 OSt
008 160408b1988 xxu||||| |||| 00| 0 eng d
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 _c325683
_d325683