updatable source/1.
finished :- not(unfinished).
unfinished :- source(W).