/private/prg/docs/логическое программирование/datalog.pdf