@bennyty: эта документация немного вводит в заблуждение.
ы пишете процедуру Прологmap(List, PredName, Result)
который применяет предикатPredName(Arg, Res)
к элементамList
и возвращает результат в спискеResult
?
Например:
test(N,R) :- R is N*N.
?- map([3,5,-2], test, L).
L = [9,25,4] ;
no