[eclipse 1]: meta_attribute(eclipse, print:(=)/2). yes. [eclipse 2]: make_suspension(true, 1, S), insert_suspension(X{f(_)}, S, 1). X = X{f(['GOAL'(true, eclipse)])} S = 'GOAL'(true, eclipse) Delayed goals: true yes. [eclipse 5]: make_suspension(true, 1, S), insert_suspension(X{f(_, E-E)}, S, 1), insert_suspension(X, S, 2). E = E X = X{f(['GOAL'(true, eclipse)], ['GOAL'(true, eclipse)|_g837] - _g837)} S = 'GOAL'(true, eclipse) Delayed goals: true yes.