% Show how "not" can be used with Java calls.

:- eval(consult("utils.prova")).

:- eval(test_not()).

test_not() :-
	println(["==========test_not=========="]),
	a([z|L],L),
	println([L]).

a([z,s],[s]). 
