00439nam a2200157   4500003000900000005001700009008004100026020002700067040001300094082001600107100001800123245007000141250001100211260004300222300001600265SEACOMEC20250403132856.0240827b        |||||||| |||| 00| 0 eng d  a978-8131711347c385.00  aSEACOMEC  a006.3bB824  a Bratko, Ivan  aPROLOG: PROGRAMMING FOR ARTIFICIAL INTELLIGENCE / c  Ivan Bratko  a3rd ed  a Delhi bPearson Education Indiac2001  axxi, 678 p.