Function NTHREST

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

Slots on this function:

Documentation:

{tt nthrest} returns the list specified as its first argument
minus the first $n$ items, where $n$ is the number specified as its second argument.

Arity: 3

Axioms:

(Nth-Domain Nthrest 3 List)

(Nth-Domain Nthrest 2 Natural)

(Nth-Domain Nthrest 1 List)

(=> (Nthrest ?List ?N ?New-List)
    (= ?New-List
       (Cond ((= ?N 0) (If (List ?List) ?List))
             ((Positive ?N) (Nthrest (Rest ?List) (1- ?N))))))