是否可以放置数字1至9，以使其满足规定的约束条件。
我有：
foo(bl1,A,B,C,Total1) :- A+B+C =:= Total1.
foo(bl2,A,B,D,Total2) :- A+B+D =:= Total2.
run_foo(A,B,C,D) :-
foo(bl1,A,B,C,13),
foo(bl2,A,B,D,11),
A/=B,
A/=C,
A/=D,
B=/C,
B=/D,
C=/D.
然后运行类似于：
run_foo(A,6,C,D).
以便它返回A，C和D的值。这应该返回A=4，C=3，D=2。