Como posso imprimir esta cadeia no prólogo da melhor forma:
predicate([], L, Id, L2):-
length(L2, N),
write('The length '),
write(Id),
write(' is '),
write(N),
write(' elements.'),
nl.
1
No SWI-Prolog, você pode usar o built-in predicado formato/2:
predicate([], L, Id, L2):-
length(L2, N),
format('The length of ~w is ~w elements\n', [Id, N]).
foi exatamente o que eu precisava. ty!!
Flávio Jardim