warren-abstract-machine

2熱度

1回答

統一算法例如

練習2.2在Warren's Abstract Machine: A Tutorial Reconstruction 詢問f的術語表示（X，G（X，A））和f（B，Y），然後進行統一在這些術語的地址上（分別表示爲a1和a2）。 我已經構造堆表示的條件，並有如下幾點： f(X, g(X, a)): 0 STR 1 1 a/0 2 STR 3 3 g/2 4 REF 4 5

algorithm prolog unification union-find warren-abstract-machine 2013-10-18

---

2熱度

1回答

GNU Prolog：顯示查詢的WAM代碼？

是否可以使用GNU Prolog來顯示查詢的WAM代碼？ 我知道我可以使用pl2wam來爲程序生成WAM，但是我對程序執行的查詢又如何呢？有沒有辦法顯示這個WAM代碼？我使用的版本爲1.4.4的Windows 64

prolog gnu-prolog warren-abstract-machine 2013-10-26

---

8熱度

1回答

執行Prolog的抽象機器比較

我正在尋找研究論文或任何其他出版物，它們比較不同抽象機器（多於一個）用於執行Prolog與不基於抽象機器的prolog解釋器。到目前爲止，我所看到的大多數實現似乎都是基於他們的序言解釋器，但是其他抽象機器被提出（例如，Vienna Abstract Machine，Tree-Oriented Abstract Machine），並且沒有任何一般的比較。我對效率比較感興趣（而不是特性），儘管所有被比

prolog abstract-machine warren-abstract-machine 2014-05-17

---