프롤로그 문제 : 절차

Question

내가 어디에 사용자가 입력 목록을 할 수있는 프롤로그에서 작은 프로젝트를 수행하려고 한 다음 등 목록 등 그래서

의 평균, 최대 계산 대 nondeterm 훨씬 좋았지 만 max 함수를 작성할 때 문제가 발생했습니다 (목록에 최대 개수를 찾습니다).

maxN([X],X):-!. 
maxN([X|L],X) :- maxN(L,M), X > M. 
maxN([X|L],M) :- maxN(L,M), M >= X. 

자체가 개별적으로 작동하는 기능,하지만 난이 오류 메시지가 얻을 : 코드는

술어 '견적 :: maxN/2 (I, O)'로 선언 된 '절차를

maxN : (정수 * Z, 정수 U) 절차 (I, O) 이것은 * .cl 정의 내 조건입니다

forma.pro nondeterm ''실제로 '.

내 양식 전체에서 문제가 발생하기 때문에 이것을 nondeterm으로 선언 할 수 없습니다. 당신이 나를 도울 수있는/절차를 만드는 방법에 대한 힌트를 줄 수 있습니까? 나는 어딘가에 컷을 만들어야한다고 생각하지만, 지금까지는 시도가 실패했다.

P. Visual Prolog 7.4를 사용하고 있습니다.

편집 : 두 규칙을 하나 또는 누적기로 만들기 위해 제안 된 대안을 시도한 후에 이제 프로 시저 대신 프로 시저가 'determ'이됩니다. 내 프롤로그 지침에 따르면 술어에는 여러 가지 해결책이 없지만 대신 실패 할 수있는 기회가 있음을 의미합니다. 기본적으로 내가 지금까지 해낸 모든 코드 변형은 나를 '결정'으로 이끈다. 일반적으로

maxN([X|L],X) :- maxN(L,M), X > M, !. 

, 나는 재귀 절차가 될 수 있다고 생각 :

Answer 1

될해야 : 불행하게도,이 어큐뮬레이터를 추가해야합니다. 다른 말로하면, 인간 여러분, X > M과 M >= X은 둘 다 true 일 수는 없지만 Prolog는이를 추론 할 수 없다는 것을 알고 있습니다.

IMO 할 수있는 가장 좋은 것은 하나의 규칙으로 두 규칙을 바꿔하는 것입니다 : 컷으로 정리 될 필요가 여분의 선택 포인트가 이제까지이없는

maxN([X], X) :- !. 
maxN([X|L], Max) :- 
    maxN(L, M), 
    X > M -> Max = X 
      ; Max = M. 

이 방법. CapelliC의 조언 @ 다음

, 당신은 또한 축적과이를 재구성 수 :

maxN([X|Xs], Max) :- maxN_loop(Xs, X, Max). 

maxN_loop([], Max, Max). 
maxN_loop([X|Xs], Y, Max) :- 
    X > Y -> maxN_loop(Xs, X, Max) 
      ; maxN_loop(Xs, Y, Max). 

Answer 2

미안, 내 조언은 두 번째 절 이후에 상처를 추가하는 것입니다, 당신이 사용하고있는 프롤로그 방언을 모르는 결정적으로 꼬리 재귀로 변환합니다. 물론

maxN([],A,A). 
maxN([X|L],A,M) :- X > A, !, maxN(L,X,M). 
maxN([X|L],A,M) :- maxN(L,A,M). 

, 최고 수준의 호출이 문제는 프롤로그가 두 번째와 세 번째 규칙 사이에서 선택 점을 볼 수 있다는 것입니다

maxN([F|L],M) :- maxN(L,F,M).