upd
by
Eiter et. al.
∏:
{ sleep :- night, not tv_on. watch_tv :- tv_on. night. tv_on. } { -tv_on :- power_failure. power_failure. }
SW
:
-p=dlv -O=succint
∏:
Last modified: 21.11.2006 by
Juan C Acosta Guadarrama
