如何在Prolog中最小化变量

Question

我正在做一个prolog项目，我必须最小化其中一个变量。

例如：

foo(A,B):-
 ...
 someFunction(A',B',C),
 ...

someFunction将执行某些操作以获取C的值。A'和B'的组合很多，因此有许多Cs可用。

例如：

A'1, B'1 -> (C=2)
A'2, B'2 -> (C=0)
A'3, B'3 -> (C=10)
A'4, B'4 -> (C=5)

我希望它尝试所有组合并选择A'2 B'2。我该怎么办？