Prolog - 找到第一个解决方案并停止搜索

Question

我正在学习Prolog中的编程并且遇到规则问题，它必须搜索解决方案，一旦找到它，就必须“无所事事”。但它失败了，给了我不止一个解决方案。我试着做这样的事情：

% here the solution is already found and there's nothing to be done.
findsolution:-
       solution(X).

% trying to find the solution and use assert/1 if it was found. 
 findsolution:-
        do_something, 
        do_whatever, 
        assert(solution(X)).

如果未找到解决方案，则第一条规则将失败，并且回溯将尝试第二次执行该规则。如果第二个找到解决方案，第一个规则必须成功，当我再次调用'findsolution / 0'时，不再需要回溯，只会查询第一个规则。我的目的是提高效率，防止不必要的查询，因为我知道只有一个解决方案，只是不知道是什么。我很感激。

P.S。我的程序的上下文在这里不一样，它是简化的。抱歉我的英语不好。

Answer 1

如果您想停止搜索，那么您必须做的是使用剪切谓词避免（控制）回溯，检查docs。
在这种情况下，你需要做的基本上是避免在你的第一个子句中使用这个cut（！）谓词回溯：

findsolution:- solution(X), !.