Function FIRST

Arity: 2

Domain: List

Axioms:

(=> (First ?List ?Result)
    (And (Exists (@Items) (= (Listof ?X @Items) ?List))
         (= ?Result ?X)))

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