The backtracking mechanism is an important facility for programming in logic.
回溯机制是逻辑程序设计的重要设施.
相关词汇
theart. 指已提到的人（物），指说话人与听者已知的人（物），用于独一无二的事物前，与形容词最高级和序数词连用；
mechanismn. [生]机制，机能，[乐]机理，（机械）结构，机械装置[作用]，（故事的）结构，[艺]手法，技巧，途径，机械作用；
isvt.& vi. 是（be的三单形式；n. 存在；
anart. 一（在元音字母前代替不定代词a），一任一某一，一个；
forprep. 为，为了，倾向于，关于，当作；conj. 因为，由于；
inprep. 采用（某种方式），穿着，带着，（表示位置）在…里面，（表示领域，范围）在…以内，（表示品质、能力等）在…之中；adv. 在家，进入，到达，流行，当选；adj. 在内的，朝内的，在位的，执政的，[口语]流行的，时髦的，（车等）到站的；n. 执政党，掌权者，知情者，<美口>入口，门路，<体>（板球或棒球）攻球的一方；
logicn. 逻辑，逻辑学，（做某事的）道理，推理方法，威力，压力，强制（力）；adj. 逻辑的；