Prolog - 解决逻辑难题

Question

我试图尝试Prolog并希望能够用它来解决LSAT问题。

我写了以下内容：

actor("Mark",B):-
        B >= 0,
        B < 5,
        D < B,
        actor("Jeff", D).

actor("Jeff",C):-
        C >= 0,
        C < 5.

我的目标是得到推理：演员（＆＃34; Mark＆＃34;，0）。是假的。

每当我输入演员（＆＃34; Mark＆＃34;，0）。时，我都会收到以下错误：

ERROR: </2: Arguments are not sufficiently instantiated
   Exception: (7) actor("Mark", 0) ?

有谁知道我怎么能让马克正确引用杰夫？我觉得这个问题与Mark中的变量D有关。