Tag: 元谓词

将谓词应用于列表元素的Prolog映射过程

如何编写将谓词PredName(Arg, Res)应用于List元素的Prolog过程map(List, PredName, Result) ，并将map(List, PredName, Result)返回到Result列表中？ 例如： test(N,R) :- R is N*N. ?- map([3,5,-2], test, L). L = [9,25,4] ; no