Class
NULL
Defined in theory:
Kif-lists
Source code:
kif-lists.lisp
Slots on this class:
Documentation
:
True of the list with no items.
Subclass-Of
:
List
Axioms:
(<=> (
Null
?List) (And (
List
?List) (
=
(
Length
?List) 0)))