Пролог, деривация деревьев, выбор и унификация

вопросВот [https://stackoverflow.com/questions/45391973/when-is-the-redo-port-called-with-new-variables-in-trace-0-and-when-not/45393321?noredirect=1#comment77769720_45393321] о том, когда именноRedo вызывается в Прологе с новыми переменными, ...