Function LISTOF

LISTOF is the sequence constructor function for KIF. It takes any finite number of arguments and denotes the list (i.e., sequence, tuple) of those items.

LISTOF is an operator in KIF.

Range: List

Axioms:

(Undefined (Arity Listof))

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