001: 60
003: Starlibrary PMS 4.5
005: 20180713
066: ^aiv.p
082: ^a005.45
100: ^aivan bratko
240: ^aprolog programming for artifical intelligence
245: ^aprolog programming for artifical intelligence
260: ^c2001