file_exists( File ) :-
	exists( File ).