Lines Matching refs:system
110 At any time, the system attempts to solve the most urgent subgoal first.
164 Here, the system does not have enough information to decide whether the
310 The system does not verify these conditions currently.
429 The condition \about{Cond} can be the name of a system-defined waking condition,
727 domain variables are responsible for notifying the system when they
731 which is the generic way of telling the system that a variable has been
876 There is one system-defined trigger called \defnotion{postponed}.%
1066 The system keeps track of all created suspensions and it
1106 list of the (system-predefined) \notation{suspend}
1641 %In a restricted class of procedures the system raises an exception
1646 %if the call to {\bf q/1} delays, the system raises an exception