Function REMOVE

• 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 Remove 3 List)

(Nth-Domain Remove 2 List)

Other Related Axioms:

(<- (Remove ?X ?List)
    (Cond ((Null ?List) Nil)
          ((And (= ?X (First ?List)) (List ?List))
           (Remove ?X (Rest ?List)))
          ((List ?List) (Cons ?X (Remove ?X (Rest ?List))))))