Declarative Programming with Temporal Constraints, in the Language CG

Specification 2

The complete specification.

CONTEXT

Rules_c0

SETS

 FACT

CONSTANTS

 rules

 infer

 closure

 consistent

 inconsistent

AXIOMS

 axm1: 

 axm2:  

 axm3:  

 axm4:  

 axm5:  

 axm6:  

 axm7:  

 axm8:  

 axm9:  

 axm10:

 axm11:  

END

MACHINE

 Rules0

SEES

 Rules_c0

VARIABLES

 facts

 conclusions

INVARIANTS

 inv1:  

 inv2:  conclusions

EVENTS

 INITIALISATION:

  THEN

   act1:  

   act2:  conclusions

  END

 Inference:

  ANY

   data

   goals

  WHERE

   grd1:  data

   grd2:  goals

  THEN

   act1:  

   act2:  

  END

END