프롤로그의 조건 자에 문제가 발생했습니다.

Question

항목, 목록 및 숫자를 허용하는 프롤로그의 조건자를 올바르게 작성하려고 시도하고 해당 항목이 해당 횟수만큼 목록에 있는지 확인합니다. 예를 들어

count(7,[3,7],X). 

은 X=1입니다.

count(7,[3,7],1). 

이 내가

count_occur(A,[0|B],D). 
count_occur(A,[A|C],D) :- count_occur(A,C,D1), D is D1+1. 
count_occur(A,[B|C],D) :- count_occur(A,C,D). 

나는 프롤로그 아주 새로운 오전 정말 프로그래밍 패러다임을 이해하는 데 어려움을 겪고 지금까지 무엇을 가지고 true

반환합니다.

내가하려고하는 것은 목록의 첫 번째 항목이 D를 증가시키고 목록의 나머지 부분과 다시 비교할 경우 전달 된 값 (A)과 일치하는지 확인하는 것입니다. 이것은 내가 어쨌든 혀짤음이나 다른 언어로 그것을하는 방법이다. 약간의 도움을 사용할 수 있었는지, 잠시 동안 이것에 있었고 단지 나를 위해 클릭하지 않았습니다.

Answer 1

나는 그것을 테스트하기 위해 지금 프롤로그가없는,하지만 난 그런 식으로 그것을 시도 할 것 :

count_occur(A, [], 0). 
count_occur(A, [A|T], D):- count_occur(A, T, D1), D is D1 + 1. 
count_occur(A, [B|T], D):- A \= B, count_occur(A, T, D). 

아이디어는 목록이 비어있는 경우, 각 요소의 0 발생 있다는 것입니다. 나머지는 내가 옳다고 생각하는 것과 거의 비슷합니다.

유일한 차이점은 A \= B입니다. 즉 A \neq B을 의미합니다. 그렇지 않으면 A == B을 수락 할 것이므로 count_occur(3, [3], 0).이 참일 수 있습니다. 그 점을 확인해야합니다.

도움이 되었기를 바랍니다.