네이티브 프롤로그 쉘

Question

최근에 나는 http://www.amzi.com/ExpertSystemsInProlog에서 무료로 사용할 수있는 "프롤로그로 건물 전문가 시스템"이라는 책을 시도했습니다.

새 식별 데이터베이스와 함께 부록에 native shell이라는 코드가 있습니다. 문제는 셸로 문의하여 실행 후 :

main입니다.

로드.

해결.

"nostrils : external_tubular?"라고 묻습니다.

아니오로 대답하면 스택 오버플로가 발생합니다. 문제는 아마도 블로우 섹션에서 발생했을 것입니다.

prove(true,_) :- !. 
prove((Goal,Rest),Hist) :- 
    prov(Goal,[Goal|Hist]), 
    prove(Rest,Hist). 
prove(Goal,Hist) :- 
    prov(Goal,[Goal|Hist]). 

prov(true,_) :- !. 
prov(menuask(X,Y,Z),Hist) :- menuask(X,Y,Z,Hist), !. 
prov(ask(X,Y),Hist) :- ask(X,Y,Hist), !. 
prov(Goal,Hist) :- 
    clause(Goal,Body), 
    prove(Body,Hist). 

제발 도와 주실 수 있습니까? 어떤 도움을 주셔서 감사합니다. 쉘의

전체 코드 : 데이터베이스에 대한 http://www.amzi.com/ExpertSystemsInProlog/code/native/native.pro

전체 코드 : 나는 SWI 프롤로그를 사용하고 http://www.amzi.com/ExpertSystemsInProlog/code/native/birds.nkb

.

는

Answer 1

나는 문제가 여기 발견 h])를 두 번째 증명 술어와 일치 시키려면 어떻게 든 유추 과정에서 무한 루프가 발생하게하는 증명 (목표, Hist)이 트리거됩니다. 추적을 분석하는 데 8 시간이 걸렸습니다.

따라서 문제를 해결하려면 prove ((목표, 휴식), Hist)의 시작 부분에 커팅을 배치해야합니다.코드는 다음과 같아야합니다

prove((Goal,Rest),Hist) :- 
    !, 
    prov(Goal,[Goal|Hist]), 
    prove(Rest,Hist). 
prove(Goal,Hist) :- 
    prov(Goal,[Goal|Hist]). 

Answer 2

문제는 참으로 Head는 해당 조항 몸 조항의 머리와 Body으로 통합 할 수있는 경우는 true해야

prove(Goal,Hist) :- 
    prov(Goal,[Goal|Hist]). 

prov(Goal,Hist) :- 
    clause(Goal,Body), 
    prove(Body,Hist). 

clause(:Head, ?Body)을 통해 자체 명단. 죄송 합니다만 프로그램의 경우 SWI-Prolog는 clause(call(X), call(X))이 맞다고 생각합니다. 즉, clause(call(nostrils(external_tubular)), X)이 성공하고 prove이 호출되며, 차례로 prov이 계속 증가하는 두 번째 인수를 호출합니다.

clause/2은 정적 조건 자이므로 retractall 또는 abolish으로 내용을 수정할 수 없습니다. 가능한 해결 방법은 다음과 같습니다

1. Report a bug to SWI developers
2. 이 myclause처럼 무언가에 의해 birds.nkb에 절을 교체하고 쉘의 구현에 myclause을 참조하십시오. [)

   prove((Goal,Rest),Hist) :- 
       prov(Goal,[Goal|Hist]), 
       prove(Rest,Hist). 
   prove(Goal,Hist) :- 
       prov(Goal,[Goal|Hist]). 
   

   SWI-프롤로그 헤드 ((X, Y, Z를 허용하기 때문에 : 다른 프롤로그 방언에

3. 찾는 ...

Answer 3

당신은 마우스 오른쪽 섹션 위의 조건 prov((_,_),_) :- !, fail.를 추가하여 문제를 해결할 수 있습니다 : 당신은 Amzi 용으로 작성된 샘플 코드를 사용하는

prov(true,_) :- !. 
prov(menuask(X,Y,Z),Hist) :- menuask(X,Y,Z,Hist), !. 
prov(ask(X,Y),Hist) :- ask(X,Y,Hist), !. 
prov(Goal,Hist) :- 
    clause(Goal,Body), 
    prove(Body,Hist).