1:-module(ics,[ics/2]).    2
    3ics([h(sono(X,Y,C,F),_)],
    4        [[cell(X,Y,C,F)]]).
    5
    6ics([h(start,0.0),h(sono(X,Y,C,F),T)],
    7        [[T2=T+1.0,en(sono(X,Y,C,F),T2)]]).
    8
    9ics([h(start,0.0)],
   10        [[e(sono(0,0,yellow,money),0.0)]]).
   11
   12ics([h(start,0.0)],
   13        [[T>0,T2>T,e(sono(7,7,default,home),T),en(sono(_,_,_,_),T2)]])