00309nam 2211440 450000100060000000300230000600500090002900800410003808200140007910000160009326000070010925000110011624500500012711440StarLibrary Marc Built20181109201711 ||||| |||||||||||amh  a005.25260 aIVAN BRATKO bNET aTOW ED aPROLOG PROGAMMING FOR ARTIFICIAL INTELLIGENCE