PROLOG PROGRAMMING FOR AI - BRATKO, IVAN (ND AWL, 2001)