Coinductive Constraint Logic Programming

@inproceedings{Saeedloei2012CoinductiveCL,
  title={Coinductive Constraint Logic Programming},
  author={Neda Saeedloei and Gopal Gupta},
  booktitle={FLOPS},
  year={2012}
}
Constraint logic programming (CLP) has been proposed as a declarative paradigm for merging constraint solving and logic programming. Recently, coinductive logic programming has been proposed as a powerful extension of logic programming for handling (rational) infinite objects and reasoning about their properties. Coinductive logic programming does not include constraints while CLP’s declarative semantics is given in terms of a least fixed-point (i.e., it is inductive) and cannot directly… CONTINUE READING
4 Citations
15 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Programming models and methods for spatiotemporal actions and reasoning in cyber-physical systems

  • R. Gupta
  • In NSF Workshop on CPS,
  • 2006
1 Excerpt

Vicious circles: on the mathematics of non-wellfounded phenomena

  • J. Barwise, L. Moss
  • 1996
2 Excerpts

Similar Papers

Loading similar papers…