Icon is a programming language with an interesting backtracking evaluation model I've not seen before: https://www2.cs.arizona.edu/icon/intro.htm