Function LAST

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

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: List

Other Related Axioms:

(<- (Last ?List)
    (Cond ((Null ?List) Bottom)
          ((Null (Rest ?List)) (First ?List))
          (True (Last (Rest ?List)))))

(=> (Last $X $Y) (List $X))