Пример реализации механизма вывода, базирующегося на принципе резолюции и паромодуляции, в сети фреймов, построенной при помощи реляционных отношенийстатья