Function CONS

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

Slots on this function:

Documentation:

The function {tt cons} adds the object specified as its first argument to the front of the list specified as its second argument.

Arity: 3

Axioms:

(Nth-Domain Cons 3 List)

(Nth-Domain Cons 2 List)

(=> (Cons ?X ?List ?New-List)
    (And (= ?List (Listof @L)) (= ?New-List (Listof ?X @L))))