:- pl( swi(_), true, ensure_loaded(library(system)) ).

is_a_regular_file( File ) :-
	pl( swi(_), exists_file(File), 
			(file_exists(File),file_property(File,type(regular)))
		).