Function NTH

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

Slots on this function:

Documentation:

{tt nth} returns the item in the list specified as its first
argument in the position specified as its second argument.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Nth 2 Natural)

(Nth-Domain Nth 1 List)

Other Related Axioms:

(<- (Nth ?List ?N)
    (Cond ((= ?N 1) (First ?List))
          ((Positive ?N) (Nth (Rest ?List) (1- ?N)))))