% 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:- solution(X), !.