Success: [eclipse]: X > 0, delayed_goals(L). X = _d89 L = [_d89 > 0] Delayed goals: _d89 > 0 yes. [eclipse]: X > 0, delayed_goals([1 > 0]). X = 1 yes. Fail: X > 0, delayed_goals([]). Error: delayed_goals(X > 0). (Error 5). delayed_goals(0). (Error 5).