Constraint logic programming using Eclipse

@inproceedings{Apt2006ConstraintLP,
  title={Constraint logic programming using Eclipse},
  author={K. Apt and M. Wallace},
  year={2006}
}
  • K. Apt, M. Wallace
  • Published 2006
  • Computer Science
  • Providing an introduction to constraint programming, as well as a systematic introduction to the Eclipse system, this text shows how to write constraint programs that solve complex problems, and illustrates the power, versatility and utility of Eclipse. 
    397 Citations

    Topics from this paper

    Logic Programming Languages
    • 1
    A survey of constraint-based programming paradigms
    • 12
    ECLiPSe - From LP to CLP
    • 66
    • Highly Influenced
    • PDF
    The uniform constraint solving API for UniCalc
    • PDF
    Hybrid Algorithms in Constraint Programming
    • 10
    CGL: A domain specific language for constraint generation
    Constraint Logic Programming
    • 19
    • PDF
    Visualising Reasoning: What ATP Can Learn From CP
    • J. Slaney
    • Computer Science
    • Electron. Notes Theor. Comput. Sci.
    • 2012
    Towards Predicated WCET Analysis
    • 7
    • PDF
    ECL i PS e – From LP to CLP
    • 9
    • PDF

    References

    SHOWING 1-10 OF 25 REFERENCES
    Constraint logic programming
    • 1,483
    Constraint satisfaction in logic programming
    • 1,470
    The birth of Prolog
    • 43
    Principles of constraint programming
    • 861
    • PDF
    Contributions to the Theory of Logic Programming
    • 652
    • PDF
    Negation as Failure
    • K. Clark
    • Computer Science, Mathematics
    • Logic and Data Bases
    • 1977
    • 1,747
    • PDF
    The Craft of Prolog
    • 322
    Predicate Logic as Programming Language
    • 818