You should look at Icon [0][1], which is a lot like... Pascal, or any Algol family language, but which has pervasive depth-first search and backtracking built-i

You should look at Icon [0][1], which is a lot like... Pascal, or any Algol family language, but which has pervasive depth-first search and backtracking built-in. Icon is and feels very procedural. Or jq, which also has pervasive depth-first search and backtracking built-in. jq is and feels very functional. [0] https://www2.cs.arizona.edu/icon/ [1] https://en.wikipedia.org/wiki/Icon_%28programming_language%29