% Simple example in LPS framework (from Stephen ASP paper): % By Fariba Sadri reactive_rule( % Current limitation: lps_inc(..) must be before holds(condition, T3) % ...otherwise T3 will be eagerly bound by a bogus holds(...) solution [happens(event1, _T1, T2), lps_inc(T2, T3), holds(condition, T3)], [happens(action, _T4, T5), tc(T3