It can also be used to implement any logic that is specified by means of inference rules.
Він також може використовуватися для реалізації будь-якої логіки, яка задається за допомогою правил виведення .