Function
MAP
Defined in theory:
Kif-relations
Source code:
kif-relations.lisp
Slots on this function:
Instance-Of
:
Function
Arity
:
3
Other Related Axioms:
(<- (
Map
?F ?List) (If (
Null
?List) (
Listof
) (
Cons
(
Value
?F (
First
?List)) (
Map
?F (
Rest
?List)))))