next up previous

12.15.4 Type Determination

The function type returns a symbol which is the name of the type (or class) of its of argument. This function is equivalent to the class function (see section 12.16.4.4), but, unlike the class function, it is available even when COOL is not installed.

Syntax

(type <expression>)

Example

CLIPS> (type (+ 2 2))
INTEGER
CLIPS> (defclass CAR (is-a USER) (role concrete))
CLIPS> (make-instance Rolls-Royce of CAR)
[Rolls-Royce]
CLIPS> (type Rolls-Royce)
SYMBOL
CLIPS> (type [Rolls-Royce])
CAR
CLIPS>


next up previous