add factor tds : hanoi tower problem and nqueens (with amb operator)