logic Module

>

a1 a2 bool

Returns true if a1 is greater than a2, false otherwise.

Note

Only comparisons among two numbers or two strings are supported.

>=

a1 a2 bool

Returns true if a1 is greater than or equal to a2, false otherwise.

Note

Only comparisons among two numbers or two strings are supported.

<

a1 a2 bool

Returns true if a1 is smaller than a2, false otherwise.

Note

Only comparisons among two numbers or two strings are supported.

<=

a1 a2 bool

Returns true if a1 is smaller than or equal to a2, false otherwise.

Note

Only comparisons among two numbers or two strings are supported.

==

a1 a2 bool

Returns true if a1 is equal to a2, false otherwise.

!=

a1 a2 bool

Returns true if a1 is not equal to a2, false otherwise.

||

|| expect-any

See expect-any.

&&

&& expect-all

See expect-all.

and

bool1 bool2 bool3

Returns true if bool1 is equal to bool2, false otherwise.

boolean?

a bool

Returns true if a is a boolean, false otherwise.

dictionary?

a bool

Returns true if a is a dictionary, false otherwise.

expect-all

quot bool

Assuming that quot is a quotation of quotations each evaluating to a boolean value, it pushes true on the stack if they all evaluate to true, false otherwise.

expect-any

quot bool

Assuming that quot is a quotation of quotations each evaluating to a boolean value, it pushes true on the stack if any evaluates to true, false otherwise.

float?

a bool

Returns true if a is a float, false otherwise.

or

bool1 bool2 bool3

Returns true if bool1 or bool2 is true, false otherwise.

integer?

a bool

Returns true if a is an integer, false otherwise.

not

bool1 bool2

Negates bool1.

null?

a bool

Returns true if a is null, false otherwise.

number?

a bool

Returns true if a is a number, false otherwise.

quotation?

a bool

Returns true if a is a quotation, false otherwise.

string?

a bool

Returns true if a is a string, false otherwise.

stringlike?

a bool

Returns true if a is a string or a quoted symbol, false otherwise.

type?

a 'sym bool

Returns true if the data type of a satisfies the specified type expression 'sym, false otherwise.

xor

bool1 bool2 bool3

Returns true if bool1 and bool2 are different, false otherwise.