flex Expert System Toolkit - LPIS

8. Run-Time Interpretation of KSL 113
In addition, for the parent frame PF a clause for PF/1 is created.
Example
instance tweety_pie is a bird ;
habitat is a cage and
predator is sylvester ;
do not inherit motions .
will be represented by the Prolog assertions
instance( tweety_pie, bird ).
bird( tweety_pie ).
current_value( habitat, tweety_pie, cage ).
current_value( predator, tweety_pie, sylvester ).
link( motions, tweety_pie, []).
Launches
Demons
Launches are mapped onto clauses of the relation launch/5, as follows.
launch( Launch,
Instance,
Frame,
Context,
Action ).
Example
launch female_enrolment
when Person is a new student
and female( Person )
then female_enrolment_questions( Person ) .
will be represented by the Prolog assertion
launch( female_enrolment,
Person,
student,
female(Person),
female_enrolment_questions(Person) ).
Demons are asserted as clauses for the relation demon/7, as follows.
flex toolkit
demon(
Demon,
Attribute,
Frame,
OldValue,
NewValue,