Declarative Programming with Temporal Constraints, in the Language CG

Specification 1

Specification of the inference process.

Inference

 ANY

  data

  goals

 WHERE

  grd1:  data ∈ (FACT)

  grd2:  goals ∈ (FACT)

 THEN

  act1:

  act2:  

 END