Come posso stampare questa stringa nel prologo nel migliore dei modi:
predicate([], L, Id, L2):-
length(L2, N),
write('The length '),
write(Id),
write(' is '),
write(N),
write(' elements.'),
nl.
1
In SWI-Prolog, è possibile utilizzare il built-in predicato formato/2:
predicate([], L, Id, L2):-
length(L2, N),
format('The length of ~w is ~w elements\n', [Id, N]).
era esattamente quello che mi serviva. ty!!
Flávio Jardim