Function LAST

Arity: 2

Domain: List

Axioms:

(=> (Last ?List ?Result)
    (= ?Result
       (Cond ((Null ?List) Bottom)
             ((Null (Rest ?List)) (First ?List))
             (True (Last (Rest ?List))))))

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