:- ensure_loaded( library(lists) ). % is_list say(InArgs) :- ( is_list(InArgs) -> Args = InArgs; Args = [InArgs] ), write_args( Args ). write_args( [] ). write_args( [H|T] ) :- writeq( H ), nl, write_args( T ).