JFLP: Volume 1998, Article 6

The Journal of Functional and Logic Programming

Volume 1998

Article 6

Published by The MIT Press . Copyright 1998 Massachusetts Institute of Technology.

Your institution may already be a subscriber to JFLP. If not, please subscribe for legitimate access to all journal articles.

Constraint Logic Programming over Unions of Constraint Theories

Cesare Tinelli and Mehdi T. Harandi

10 December 1998

Abstract

In this paper, we present an extension of the Jaffar-Lassez constraint logic programming scheme that operates with unions of constraint theories with different signatures and decides the satisfiability of mixed constraints by appropriately combining the constraint solvers of the component theories. We describe the extended scheme, and provide logical and operational semantics for it along the lines of those given for the original scheme. We then show how the main soundness and completeness results of constraint logic programming lift to our extension.

The following versions of the article are available:

• Preformatted versions of the article (compressed with gzip )
  • DVI (gzip'ped 73 kb)
  • PostScript (gzip'ped 251 kb)
  • PDF (gzip'ped 391 kb; uncompressed 558 kb)
• Source materials for custom formatting
  • LaTeX ( JFLP-A98-06.tex , gzip'ped 39 kb)
  • BIBTeX ( JFLP-A98-06.bib , gzip'ped 3 kb)
  • Parameter settings for custom formatting ( cjropts.tex , 165 bytes)

You can find this article also on the ftp-server of The MIT Press (access may be faster from some sites).

Self citation

    @article{jflp98-06,
      author={Cesare Tinelli and Mehdi T. Harandi},
      title={Constraint Logic Programming over Unions of Constraint Theories},
      journal={Journal of Functional and Logic Programming},
      volume={1998},
      number={6},
      publisher={The MIT Press},
      month={December},
      year={1998}
    }

Main page