prolog programming for artificial intelligence ivan bratko pdf