Icon-Like Pattern Matching
The implementation described here:
is completely implemented in Python,
has all the features described here, including both backtracking and non-backtracking versions, and
is a prototype – no "it's slower than re!" comments please – I know.