François Fages

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics

2024 · arXiv (Cornell University)

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 …