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