The backtracking mechanism is an important facility for programming in logic.

• 回溯机制是逻辑程序设计的重要设施。