2
GNU Prolog을 사용하여 쿼리에 대한 WAM 코드를 표시 할 수 있습니까?GNU Prolog : 쿼리 용 WAM 코드 표시?
나는 프로그램에서 WAM을 생성하기 위해 pl2wam을 사용할 수 있지만 프로그램에서 수행하는 쿼리는 어떻게해야합니까? 이것에 대한 WAM 코드를 표시하는 방법이 있습니까? 나는 64 윈도우
A
답변
3
쿼리의 버전 1.4.4을 사용하고
은 WAM 코드로 컴파일되지 않습니다. 최상위 레벨에서 즉시 메타 메타 해석됩니다 (WAM 코드가 생성되지 않음). 컴파일러에 의해 생성되는 WAM 코드를 보려면 머리글에 쿼리의 모든 이름 변수가 있고 본문이 쿼리에 해당하는 절이있는 파일을 만듭니다. 쿼리에 대한 예를 들어 는 :
?- append(X,Y,[a,b,c]).
query(X,Y) :- append(X,Y,[a,b,c]).
를 포함하고 결과를 확인하기 위해 WAM 파일로 컴파일 프롤로그 파일을 만듭니다.