INTELLIGENT BACKTRACKING
\ɪntˈɛlɪd͡ʒənt bˈaktɹakɪŋ], \ɪntˈɛlɪdʒənt bˈaktɹakɪŋ], \ɪ_n_t_ˈɛ_l_ɪ_dʒ_ə_n_t b_ˈa_k_t_ɹ_a_k_ɪ_ŋ]\
Sort: Oldest first
-
An improved backtracking algorithm forProlog interpreters, which records the point at which eachlogic variable becomes bound and, when a given set ofbindings leads to failure, ignores any choice point whichdoes not bind any of those variables. No choice from such achoice point can succeed since it does not change the bindingswhich caused the failure.
By Denis Howe
Word of the day
tinctura quininae ammoniata
- A preparation made by dissolving quinin sulphate in alcohol [Br. Ph.].