Function REVAPPEND

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

Slots on this function:

Documentation:

The function {tt revappend} is similar to append, except that it adds the items in reverse order.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Revappend 3 List)

(Nth-Domain Revappend 2 List)

(Nth-Domain Revappend 1 List)

Other Related Axioms:

(<- (Revappend ?L1 ?L2)
    (If (Null ?L1)
        (If (List ?L2) ?L2)
        (Revappend (Rest ?L1) (Cons (First ?L1) ?L2))))

(<- (Reverse ?List) (Revappend ?List (Listof)))