
notify_constrained(-AttrVar)

   Notify the system that the attributed variable was constrained.



Arguments
   -AttrVar            An attributed variable or any term

Type
   Advanced Control and Suspensions

Description
   When an extension package recognizes that new constraints have been
   imposed on a particular attributed variable, it must notify the system
   about it, so that other packages (e.g.  Propia) or system primitives
   (e.g.  guards) can deliver proper results.


   This predicate will probably be replaced by another mechnism in future
   releases.




Resatisfiable
      No.

Fail Conditions
      None



See Also
   
