Skip to main content
SpringerLink
Log in

RISC-CLP(CF) constraint logic programming over complex functions

  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 822))

Abstract

A constraint logic programming system for the domain of complex functions is described. The intended users of the language are scientist and engineers who often reason/compute with constraints over complex functions, such as functional equalities, differential equations, etc. Constraints are solved by iterating several solving methods such as Laplace transformation, non-linear equation solving, etc. A prototype has been built and is illustrated in the paper.

This research was done in the framework of ACCLAIM, a research project of the basic research action in ESPRIT sponsored by the European Community.

I would like to thank Andreas Neubacher and Kurt Siegl for implementing some parts of the constraint solver and the communication routines between Maple and the RISC-CLP(CF) system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. F. Behhamou and W. Older. Applying interval arithmetic to real, integer, and boolean constraints. Journal of Logic Programming, 1993. Submitted.

    Google Scholar 

  2. B. Buchberger. Applications of Gröbner bases in non-linear computational geometry. In Proc. Workshop on Scientific Software (invited lecture), pages 59–88. Springer Verlag, 1987.

    Google Scholar 

  3. B. Buchberger, G. Collins, M. Encarnación, H. Hong, J. Johnson, W. Krandick, R. Loos, and A. Neubacher. A SACLIB Primer. Tech. Rep. 92-34, RISC-Linz, Johannes Kepler University, Linz, Austria.

    Google Scholar 

  4. Olga Caprotti. Extending risc-clp(real) to handle symbolic functions. In A. Miola, editor, DISCO '93: International Symposium on Design and Implementation of Symbolic Computation Systems. Springer Verlag, September 1993.

    Google Scholar 

  5. B. W. Char, K. O. Geddes, G. H. Gonnet, and S. M. Watt. Maple User's Guide. WATCOM Publications Limited, 4th edition, 1985.

    Google Scholar 

  6. G. E. Collins and H. Hong. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation, 12(3):299–328, September 1991.

    Google Scholar 

  7. A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 33(7):69–90, July 1990.

    Google Scholar 

  8. M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings on the International Conference on Fifth Generation Computer Systems FGCS-88, Tokyo, Japan, December 1988.

    Google Scholar 

  9. H. Hong. Non-linear real constraints in constraint logic programming. In International Conference on Algebraic and Logic Programming, pages 201–212, 1992.

    Google Scholar 

  10. H. Hong, editor. Computational Quantifier Elimination. Oxford University press, 1993. Special issue of the Computer Journal: Volume 36, number 5.

    Google Scholar 

  11. H. Hong. RISC-CLP(Real): Constraint logic programming over real numbers. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993.

    Google Scholar 

  12. H. Hong. Confluency of Cooperative Constraint Solvers. Technical Report 94-08, Research Institute for Symbolic Computation, Johannes Kepler University A-4040 Linz, Austria, 1994.

    Google Scholar 

  13. H. Hong and V. Stahl. Safe start region by fixed points and tightening. Journal of Computing, (Archives for Informatics and Numerical Computation). Accepted, to appear in 1994.

    Google Scholar 

  14. H. Hong and V. Stahl. Safe start region by fixed points and tightening. In The proceedings of Scientific Computing, Computer Arithmetic and Validated Numerics, September 1993.

    Google Scholar 

  15. J. Jaffar and S. Michaylov. Methodology and implementation of a CLP system. In J.-L. Lassez, editor, Proceedings 4th ICLP, pages 196–218, Cambridge, MA, May 1987. The MIT Press.

    Google Scholar 

  16. Joxan Jaffar and Jean-Louis Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages, Munich, Germany, pages 111–119. ACM, January 1987.

    Google Scholar 

  17. E. Kreyszig. Advanced Engineering Mathematics. John Wiley & Sons, Inc., 1993.

    Google Scholar 

  18. W. Older and A. Vellino. Constraint arithmetic on real intervals. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993.

    Google Scholar 

  19. K. Sakai and A. Aiba. CAL: A Theoretical Background of Constraint Logic Programming and its Applications. Journal of Symbolic Computation, 8:589–603, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Institute for Symbolic Computation, Johannes Kepler University, A-4040, Linz, Austria

    Hoon Hong

Authors
  1. Hoon Hong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Frank Pfenning

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hong, H. (1994). RISC-CLP(CF) constraint logic programming over complex functions. In: Pfenning, F. (eds) Logic Programming and Automated Reasoning. LPAR 1994. Lecture Notes in Computer Science, vol 822. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58216-9_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-58216-9_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58216-8

  • Online ISBN: 978-3-540-48573-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation