Function APPLY

Arity: 3

Axioms:

(=> (Apply ?F ?List ?Result)
    (And #'?F (= ?List (Listof @Args)) (= ?Result (Value ?F @Args))))

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