A meta predicate is a predicate that contains an argument defined over predicates or related to some module.
How do you write a Prolog procedure map(List, PredName, Result) that applies the predicate PredName(Arg, Res) to the …
prolog map-function meta-predicate