{[],
 update(se_lt_x, [c-100]),
 @ :: [a-'A1'],
 row_count(N)}
This corresponds to UPDATE se_lt_x SET c=100 WHERE se_lt_x.a='A1'. 
The’@’is a special alias referring to the table that is 
being updated. The row_count/1 term gives 
the number or rows updated.