 [det]csv_write_stream(+Stream, 
+Data, +Options)
[det]csv_write_stream(+Stream, 
+Data, +Options)
save_data(File) :-
   setup_call_cleanup(
       open(File, write, Out),
       forall(data(C1,C2,C3),
              csv_write_stream(Out, [row(C1,C2,C3)], [])),
       close(Out)).
 [det]csv_write_stream(+Stream, 
+Data, +Options)
[det]csv_write_stream(+Stream, 
+Data, +Options)
save_data(File) :-
   setup_call_cleanup(
       open(File, write, Out),
       forall(data(C1,C2,C3),
              csv_write_stream(Out, [row(C1,C2,C3)], [])),
       close(Out)).