Under consideration for publication in Theory and Practice of Logic Programming 1 Towards Inverse Execution of Constraint Handling Rules

@inproceedings{Zaki2013UnderCF,
  title={Under consideration for publication in Theory and Practice of Logic Programming 1 Towards Inverse Execution of Constraint Handling Rules},
  author={Amira Zaki and Thom W. Fr{\"u}hwirth and Slim Abdennadher},
  year={2013}
}
Inverse execution is a non-deterministic process of discovering the inputs to a program starting from its output. This paper deals with the inverse execution of Constraint Handling Rules (CHR). First a simple inversion technique is proposed, which produces a reverse program consisting of rules with exchanged left and right hand sides. The limitations of… CONTINUE READING