[eclipse]: [user]. a. :- compiled_stream(S), get_stream_info(S, name, File), printf("Compiling stream %d, file %s\n", [S, File]). Compiling stream 0, file user ^D user compiled traceable 28 bytes in 0.00 seconds yes. [eclipse]: exec('cat a.pl', []). a. :- compiled_stream(S), get_stream_info(S, name, File), printf("Compiling stream %d, file %s\n", [S, File]). yes. [eclipse]: [a]. Compiling stream 5, file /home/joe/a.pl a.pl compiled traceable 28 bytes in 0.00 seconds yes.