論理プログラムのための抽象機械
論理プログラムと抽象機械の対論理プログラムは推論規則によって定義される関係であり、その実行には計算モデルが必要です。
本記事では、この推論規則を評価するための抽象機械、特にスタック機械の設計について論じています。
関係をプログラムとして実行するためには、入力と出力を指定する「モード割り当て」（i/i/oなど）という重要な概念が必要となります。
このモード割り当てによって、抽象機械の動作が決定され、例えば加算や減算といった異なる種類の処理を実装できます。
この変換プロセスは、プログラミング言語の仕様と実装において標準的な手法であり、論理的対応付け（logical correspondence）として知られています。
原文の冒頭を表示（英語・3段落のみ）
06 Apr, 2026
[Based on conversations with Rob Simmons. Reader prerequisites: comfortable with inference rules, peano notation, state machines.]
The following inference rules, it can be argued, define addition: whenever plus N M P holds, the numbers N and M sum to P.
※ 著作権に配慮し、引用は冒頭3段落までです。続きは元記事をご覧ください。