The Semantics of Constraint Logic Programs

@article{Jaffar1998TheSO,
  title={The Semantics of Constraint Logic Programs},
  author={J. Jaffar and Michael J. Maher and K. Marriott and Peter James Stuckey},
  journal={J. Log. Program.},
  year={1998},
  volume={37},
  pages={1-46}
}
  • J. Jaffar, Michael J. Maher, +1 author Peter James Stuckey
  • Published 1998
  • Mathematics, Computer Science
  • J. Log. Program.
  • Abstract The Constraint Logic Programming (CLP) Scheme was introduced by Jaffar and Lassez. The scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. This paper presents for the first time the semantic foundations of CLP in a self-contained and complete package. The main contributions are threefold. First, we extend the original conference paper by presenting definitions and basic semantic… CONTINUE READING
    221 Citations
    A Functorial Framework for Constraint Normal Logic Programming
    • 4
    • Highly Influenced
    • PDF
    An Assertion language for slicing Constraint Logic Languages
    • 2
    • Highly Influenced
    • PDF
    On proving left termination of constraint logic programs
    • 41
    A Functorial Framework for Constraint Normal Logic Programming
    • 4
    • Highly Influenced
    • PDF
    Providing declarative semantics for HH extended constraint logic programs
    • 8
    • Highly Influenced
    • PDF
    Formalizing Two Fixed Point Semantics for HH(C)
    • PDF
    Functional and Constraint Logic Programming
    • 49

    References

    SHOWING 1-10 OF 38 REFERENCES
    Modeling Answer Constraints in Constraint Logic Programs
    • 66
    Constraint logic programming
    • 1,483
    Semantics of Infinite Tree Logic Programming
    • 47
    A Computable Semantics for General Logic Programs
    • M. Wallace
    • Mathematics, Computer Science
    • J. Log. Program.
    • 1989
    • 11
    Declarative Modeling of the Operational Behavior of Logic Languages
    • 262
    Contributions to the Theory of Logic Programming
    • 652
    • PDF
    A Theory of Complete Logic Programs with Equality
    • 131
    Closures and Fairness in the Semantics of Programming Logic
    • 125
    • PDF
    Constraint Logic Programming: A Survey
    • 1,677
    • PDF
    The Semantics of Predicate Logic as a Programming Language
    • 1,625
    • PDF