モード情報を用いたシャローバックトラックの高速化方式  [in Japanese] Shallow Backtraking Optimization Using Mode Information  [in Japanese]

Prologの高速化のためには、クローズの選択、実行及びバックトラックの最適化を行なうことが必要である。Warrenの命令セットは、これらの最適化に適しており、文献2)においてWarrenの命令セットをベースにしたクローズの選択、実行の最適化方式について述べた。バックトラックには、シャローバックトラックとデープバックトラックの2つがあるが、Warrenの命令セットは、デープバックトラックに基づいた命令セットであり、シャローバックトラックのときの効率が悪い。本論文では、シャローバックトラックを高速化する方式について述べる。