Логический вывод на основе удаленного вызова и включения в системах с распределенной фреймовой иерархией