00400nam a2200133Ia 4500008004100000020001500041041000800056082001300064100002600077245007800103260005200181300001100233650002200244210716s2006    xx            000 0 und d  a8120328558  aeng  a160 CHAC  aChakraborti, Chhanda.  aLogic: informal symbolic and indictive.bInformal symbolic and indictive.  aNew DelhibPrentice Hall of India PVt Ltdc2006  axx,552  aLogic Programming