/*read file term by term*/
foo :- see(mandc), repeat, read(T), write(T), nl,
        T=(:-end), seen.