释义 |
intelligent backtracking intelligent backtracking (algorithm)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. |