Function BUTLAST

Arity: 2

Axioms:

(=> (Butlast ?List ?Result)
    (= ?Result
       (Cond ((Null ?List) Bottom)
             ((Null (Rest ?List)) Nil)
             (True (Cons (First ?List) (Butlast (Rest ?List)))))))

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