Reflexão

Porque não funciona? Porque entra em loop?

Duas saídas

1. meta controle (one shot rule sorter)
2. filtragem nas premissas (se X ainda não foi verificado e ... então atribua a X o valor z)