問題タブ [warren-abstract-machine]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - WAMの代替品
WAM とほぼ同時期に発明された代替案が他に少なくとも 2 つあるという記事を読んだことがあります。ポインタはありますか？
prolog - GNU Prolog: クエリの WAM コードを表示していますか?
GNU Prologを使用してクエリの WAM コードを表示することはできますか?
pl2wam を使用してプログラムの WAM を生成できることはわかっていますが、プログラムで実行するクエリはどうでしょうか。これの WAM コードを表示する方法はありますか?
x64 Windows でバージョン 1.4.4 を使用しています
prolog - 特定の Prolog プログラムの WAM コードを表示する
Prolog プログラムが与えられた場合、そのプログラムに関連する WAM コードを表示するための GNU Prolog コマンドはありますか?
prolog - Ait-Kaci の WAM L1 のコード生成はどのように機能しますか?
Hassan Aït-Kaci の「ウォーレンの抽象マシン: チュートリアルの再構成」セクション 2.4 は、抽象マシンで一連の事実をサポートするために、L0 を L1 に拡張します。4 つの新しい命令put_variable、put_value、get_variableおよびget_valueには引数XnおよびがありAi、その意味は明確ではありません。i説明では、引数のインデックスAi:i述語の - 番目の引数の位置についてのみ言及しています。のどこnからXn来るの？図 2.9 は、クエリの生成コードの例を示していますp(Z,h(Z,W),f(W))。述語のpアリティは 3 で、最初の命令はput_variable X4, A1でnあるため、述語のアリティにすることはできません。