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.

Arity: 2

Domain: List

Range: List

Axioms:

(=> (Reverse ?List ?New-List)
    (= ?New-List (Revappend ?List (Listof))))