prolog_20programming_20for_20artificial_20intelligence_20-_20lvan_20bratko - copy.pdf