Как работают машины логического вывода: примеры и алгоритмы