Prolog制約プログラミングでのラベル付け

Question

私はPrologを初めて使用しており、現在のところ単純な制約プログラミング問題に取り組んでいます。だから、私は実数がA、B、C、Dの4つの実数を持っています。 A + B + C + d = A B C * D = 7.11 整数で扱う方が簡単なので、実装：

:- use_module(library(clpfd)). 
    grocery(Vars):- 
     Vars=[A,B,C,D], 
     X #= 100 * A, 
     Y #= 100 * B, 
     Z #= 100 * C, 
     W #= 100 * D, 
     X+Y+Z+W #= 711, 
     X*Y*Z*W #= 71100000000. 

上記は私に、部分的に解決答えを与えるので、私は最後にキーワードlabel(Vars)を入れてみました。しかし、これはgrocery([V])が私にfalseを与えるだろうが

ERROR: Arguments are not sufficiently instantiated. 

を生成するためにgrocery(V)の私を実行させます。誰でもラベル付けの仕方を教えてもらえますか？おかげ

編集：あなたのよう

インスタンス化エラー

：私はあなたが私は別にを議論したい二つの問題に直面している