アクターモデル
バックトラッキングはプログラミング言語の実装にも使われている（Planner や Prolog）し、構文解析などにも利用される。その利用は人工知能分野で議論となり、アクターモデルの開発につながった。