:- eval(scripts(".prova")).

scripts(Ext) :-
	Dir=java.io.File("."),
	Files1=Dir.list(),
	Files=java.util.ArrayList(),
	Files.addAll(Files1),
	element(File,Files),
	File.endsWith(Ext),
	println([File]).
