The Plink Algorithm
- Plink uses a unification-based grammar to interleave semantic and
- 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 that inspect