✓

@Book{            book:1155711,
  Author        = "Bratko, Ivan",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  Edition       = "4th",
  ISBN          = "0321417461,9780321417466",
  Publisher     = "Pearson Education Canada",
  Series        = "International Computer Science Series",
  Title         = "Prolog Programming for Artificial Intelligence",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=70C8FF7FB545A0FDA4239A0BEA3B9F66",
  Year          = "2011",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=70C8FF7FB545A0FDA4239A0BEA3B9F66",
  File          = "Ivan Bratko Prolog Programming for Artificial Intelligence (0) - a - a.pdf",
  file-2        = "Ivan Bratko Prolog Programming for Artificial Intelligence (0) - a - a.djvu"
}

@Book{ book:1155711, Author = "Bratko, Ivan", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", Edition = "4th", ISBN = "0321417461,9780321417466", Publisher = "Pearson Education Canada", Series = "International Computer Science Series", Title = "Prolog Programming for Artificial Intelligence", URL = "http://gen.lib.rus.ec/book/index.php?md5=70C8FF7FB545A0FDA4239A0BEA3B9F66", Year = "2011", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=70C8FF7FB545A0FDA4239A0BEA3B9F66", File = "Ivan Bratko Prolog Programming for Artificial Intelligence (0) - a - a.pdf", file-2 = "Ivan Bratko Prolog Programming for Artificial Intelligence (0) - a - a.djvu" }