Function ADJOIN

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

Slots on this function:

Documentation:

The functions {tt adjoin} and {tt remove} construct lists by adding or removing objects from the lists specified as their arguments.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Adjoin 3 List)

(Nth-Domain Adjoin 2 List)

Other Related Axioms:

(<- (Adjoin ?X ?List) (If (Item ?X ?List) ?List (Cons ?X ?List)))