Advertisement

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

  • Hoon Hong
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Complex Function Symbolic Computation Inference Engine Atomic Formula Constraint Solver 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    F. Behhamou and W. Older. Applying interval arithmetic to real, integer, and boolean constraints. Journal of Logic Programming, 1993. Submitted.Google Scholar
  2. 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. 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. 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. 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. 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. 7.
    A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 33(7):69–90, July 1990.Google Scholar
  8. 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. 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. 10.
    H. Hong, editor. Computational Quantifier Elimination. Oxford University press, 1993. Special issue of the Computer Journal: Volume 36, number 5.Google Scholar
  11. 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. 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. 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. 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. 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. 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. 17.
    E. Kreyszig. Advanced Engineering Mathematics. John Wiley & Sons, Inc., 1993.Google Scholar
  18. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Hoon Hong
    • 1
  1. 1.Research Institute for Symbolic ComputationJohannes Kepler UniversityLinzAustria

Personalised recommendations