Plink

Aside from backtracking, Plink does these things.
It uses a unification-based grammar to interleave semantic and syntactic processing.
It uses a stack with no backtracking to get linear performance.
The mechanism can lead to mistakes (hopefully when humans make them.)
A small stack keeps partial interpretations available.
Heuristics make it all work.
The heuristics are implemented via selection rules.