The constructs that Refal Plus provides for catching and handling failures can be used for implementing algorithms dealing with search and backtracking.