Function APPEND

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

Slots on this function:

Documentation:

The function {tt append} adds the items in the list specified as its first argument to the list specified as its second argument. .

Arity: 3

Axioms:

(Nth-Domain Append 3 List)

(Nth-Domain Append 2 List)

(Nth-Domain Append 1 List)

(=> (Append ?L1 ?L2 ?New-List)
    (= ?New-List
       (If (Null ?L1)
           (If (List ?L2) ?L2)
           (Cons (First ?L1) (Append (Rest ?L1) ?L2)))))