Пример обратного вывода в продукционных системах: концепции и реализация