Function LENGTH

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

Slots on this function:

Documentation:

The function constant {tt length} gives the number of items in a list.

Arity: 2

Domain: List

Range: Nonnegative-integer

Axioms:

(=> (Length ?List ?N)
    (= ?N
       (Cond ((Null ?List) 0)
             ((List ?List) (1+ (Length (Rest ?List)))))))