Function REVERSE

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

Slots on this function:

Documentation:

The function {tt reverse} produces a list in which the order of items is the reverse of that in the list supplied as its single argument.

Instance-Of: Function

Arity: 2

Domain: List

Range: List

Other Related Axioms:

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

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

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