warren-abstract-machine

8熱

1答えて

与えられたPrologプログラムのWAMコードを表示

Prologプログラムがある場合、そのプログラムに関連するWAMコードを表示するためのGNU Prologコマンドはありますか？

prolog warren-abstract-machine 2015-12-15

---

1熱

1答えて

L0プログラムの用語用にWAMコードを生成する正しい順序はどれですか？

Hassan Aït-Kaci's "Warren's Abstract Machine: A Tutorial Reconstruction"第2.2節では、L0クエリのコンパイルの順序は十分に明確です。レジスタは左から右への幅優先サーチで割り当てられ、コードは左から右のポストオーダーの深さ優先検索で生成される必要があります。 2.3では、（L0プログラムの）レジスタ割り当ての順序は、左から右へ

prolog warren-abstract-machine 2016-10-28

---