프롤로그 : 술어 솔루션을 얻기 내가 특정 문제를 가지고

Question

사실로 주장하지만, 난 그냥 '

... 그래서 다른 사람들도 혜택을 누릴 수있는 시도하고 일반적인 질문 올 것이다 많은 솔루션 X=2; X=7

X=5;을 즉 내가 이러한 솔루션의 각을 얻고 나는이 경우 세 가지 사실을 끝낼 수 있도록 다음 프롤로그 사실로를 주장 술어를 원하는 반환하는 조건을 가지고했습니다 예 fact(2) fact(7)

fact(5)

그렇게 fact(5)를 호출하는 것은 사실 일 것이다하지만이 솔루션을하지 않았기 때문에 우리가 그것을 주장하지 않기 때문에 fact(8)를 호출하는 것은 잘못된 것입니다.

하지만 나는 각 단일 사실을 주장하는 해결책을 계속 요구해야하는 부분을 갖고 싶지 않습니다. 나는 술어를 호출하여 백그라운드에서 모든 솔루션을 통과시키고 주장한다.

해결 방법 중 하나는 findall을 사용하여 모든 솔루션을 목록에 넣은 다음 목록의 각 요소를 지정하는 목록을 살펴 보는 것입니다. 그러나, 나는 이것이 매우 우아하다고 생각하지 않는다. 리스트를 둘러 보지 않고 그것을하기에 더 좋은 방법이 있어야합니다.

Answer 1

모든 솔루션에 비해 되돌아 강제로 실패 기반 루프를 사용 : 당신은 무시할 수

?- computation(X), false. 

를이 쿼리의 선언적으로 false false 값을 무시/1 :

?- ignore((computation(X),false)). 

Answer 2

이 기능은 setof를 사용하고 2 차 조건자를 만들어서 만들 수 있습니다. 우리가 사실에 대해 가서 물어 보면

:- dynamic fact/1. 

isAns(5). 
isAns(2). 
isAns(7). 

computation(F) :- setof(X,call(F,X),S),factify(S). 

factify([X|Xs]) :- assert(fact(X)),factify(Xs). 
factify([]). 

그런 다음 우리가 얻을 :

computation(isAns), fact(X). 
X = 5; 
X = 2; 
X = 7; 
false