выстраивается последовательность действий по перебору продукционных правил, которая в конце концов заканчивается целевым действием или выводом о том, что никаких действий производить не нужно.