Report question

Question: Prolog map procedure that applies predicate to list elements