Унификация в модели логического вывода
В статье предложен новый механизм логического вывода, равный по своей выразительности методу резолюций. Данный механизм программно реализован. Имеется возможность одновременно использовать новый механизм и предложенное обобщение метода резолюций на основе введенной структуры, допускающей применение на каждом шаге вывода того или иного метода и средств упрощения, что придаст большую эффективность системам логического вывода.