inference engine

Машина логічного висновку

машина для виконування логічних доведень