00289nam a2200109 a 450000500170000002000150001708200180003210000170005024500510006726000360011830000250015420251202164128.0  a0201142244  a001.535,bbra  aBratko, Ivan  aProlog programming for artificial intelligence  aSingapore: Addison-Wesleyc1986  axviii, 423p.c22 cm.