내 자신의 WAM 구현을 만들려고하고 있는데 "Warren 's Abstract Machine : Tutorial Reconstruction"의 Figure 2.10에있는 지침을 테스트 케이스로 사용하고 있습니다. 그러나 A1 및 A2을 get_structure에 전달해야합니다. 그러나 두 변수는 어디에서 만들어 졌습니까? put_value 및 put_va
운동 2.2 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 STR 1
6 STR 7
7
GNU Prolog을 사용하여 쿼리에 대한 WAM 코드를 표시 할 수 있습니까? 나는 프로그램에서 WAM을 생성하기 위해 pl2wam을 사용할 수 있지만 프로그램에서 수행하는 쿼리는 어떻게해야합니까? 이것에 대한 WAM 코드를 표시하는 방법이 있습니까? 나는 64 윈도우
Hassan Aït-Kaci's "Warren's Abstract Machine: A Tutorial Reconstruction" 섹션 2.2에서는 L0 쿼리를 컴파일하기위한 순서가 충분히 명확합니다. 레지스터는 왼쪽에서 오른쪽으로의 너비 우선 검색으로 할당되어야하며 코드는 왼쪽에서 오른쪽 순으로 순서가 뒤 따르는 깊이 우선 검색으로 생성되어야합니다 . 섹