Pontos de escolha e Refazer em Prolog

Depois de fazer uma perguntaaqui [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] sobre quando exatamente umRedo é chamado no ...