Monad para programação lógica com backtracking
