Function MAP

Arity: 3

Axioms:

(=> (Map ?F ?List ?Result)
    (= ?Result
       (If (Null ?List)
           (Listof)
           (Cons (Value ?F (First ?List)) (Map ?F (Rest ?List))))))

• Defined in theory: Kif-relations
• Source code: kif-relations.lisp