/private/prg/docs/логическое программирование/+CHR