PRD

Semantic predictor that computes the variant of continuation (the plan), choosing the next unit under the goal.