Given those, it can be called as solve(Goal, Certainty) to execute Goal and obtain a measure of certainty about the result.
Враховуючи це, його можна викликати як solve(Ціль, Впевненість), щоби виконати Ціль та отримати міру впевненості в результаті.