Реализация машины вывода в системах альтернативстатья