%% il goal 
%% write(L).
%% ha il ``side effect'' di stampare a video L, ed ha sempre successo
%% L puo' anche essere una lista

%% il goal
%% nl
%% ha il ``side effect'' di stampare a video `newline' (a capo), ed ha sempre successo

% entrambi hanno l'atteso comportamento 'imperativo' di sola stampa a video quando presenti tra i sottogoal in una clausola

mydisplay([]) :- write(vuota), nl.
mydisplay([X|Xs]) :- write([elemento, X]), nl, mydisplay(Xs).

% Esempio di utilizzo:
%?- X = big, display([hello, X, world]).