Can I read A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics on EtoBox?

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics by Fages, François is a scholarly article available to read on EtoBox.

What is A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics about?

Constraint logic programming emerged in the late 80's as a highly declarative class of programming languages based on first-order logic and theories with decidable constraint languages, thereby subsuming Prolog restricted to equality constraints over the Herbrand's term domain. This approach has proven extremely successfull in solving combinatorial problems in the industry which quickly led to the development of a variety of constraint solving libraries in standard programming languages. Later came the design of a purely declarative front-end constraint-based modeling language, MiniZinc, independent of the constraint solvers, in order to compare their performances and create model benchmarks. Beyond that purpose, the use of a high-level modeling language such as MiniZinc to develop complete applications, or to teach constraint programming, is limited by the impossibility to program search strategies, or new constraint solvers, in a modeling language, as well as by the absence of an integrated development environment for both levels of constraint-based modeling and constraint solving. In this paper, we propose to solve those issues by taking Prolog with its constraint solving librar

Author

Fages, François

Published

2024

Language

EN