prolog - Prolog - 解决逻辑难题

Question

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

我写了以下内容：

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

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

我的目标是得到推断：actor("Mark",0)。是假的。

每当我输入 actor("Mark",0). 时，我都会收到以下错误：

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

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