inferencing engine

Механізм логічного висновку