Function REST

Arity: 2

Axioms:

(<=> (Rest ?List ?Rest-List)
     (Or (And (Null ?List) (= ?Rest-List ?List))
         (Exists (?X @Items)
                 (And (= ?List (Listof ?X @Items))
                      (= ?Rest-List (Listof @Items))))))

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