flex Expert System Toolkit - LPIS

7. Knowledge Specification Language 70
KSL Formulae
Conditions
The formulae of KSL are used to establish relationships between the objects
of KSL. These fall into two distinct areas.
Conditions test whether or not something is currently true.
Directives change the current state of an object to some new state.
A condition formula is used to test the current state (for example of global
variables, frames or facts).
Conditions either test for the existence of a variant or compare the value of
two expressions; a condition may also be a procedure call.
Equality Comparison
The simplest comparison of two terms is a straightforward equality (or
inequality) test. To test for equality use the arithmetic operator = or the KSL
keywords
is
are
is equal to
Any of these may be used with not.
Examples
alpha = beta / 2
jugA`s contents are jugA`s capacity
the size of some brick is equal to 4
the employee`s name is phil
not alpha = beta
not the pupil`s mark is below 70
X is an elephant
X is a kind of animal whose ears are small
To test for inequality, use the arithmetic operator \=, or the KSL keywords
not equal to
different from.
flex toolkit