Editing Frame problem (section)

===Answer set programming solution===
The counterpart of the default logic solution in the language of [[answer set programming]] is a rule with [[stable model semantics#Strong negation|strong negation]]:

:<math>r(X,T+1) \leftarrow r(X,T),\ \hbox{not }\sim r(X,T+1)</math>

(if <math>r(X)</math> is true at time <math>T</math>, and it can be assumed that <math>r(X)</math> remains true at time <math>T+1</math>, then we can conclude that <math>r(X)</math> remains true).