Procedimento de mapa de prólogo que aplica predicado aos elementos da lista
Como você escreve um procedimento Prologmap(List, PredName, Result)
que aplica o predicadoPredName(Arg, Res)
para os elementos deList
e retorna o resultado na listaResult
?
Por exemplo
test(N,R) :- R is N*N.
?- map([3,5,-2], test, L).
L = [9,25,4] ;
no