¿Cómo puedo imprimir esta cadena en el prólogo de la mejor manera:
predicate([], L, Id, L2):-
length(L2, N),
write('The length '),
write(Id),
write(' is '),
write(N),
write(' elements.'),
nl.
1
En SWI-Prolog, puede utilizar el built-in predicado formato/2:
predicate([], L, Id, L2):-
length(L2, N),
format('The length of ~w is ~w elements\n', [Id, N]).
era exactamente lo que necesitaba. ty!!
Flávio Jardim