Semantics of Constraint Logic Programs with Optimization

Research output: Contribution to journalArticleResearchpeer-review

8 Citations (Scopus)


Many applications of constraint logic programming 1993 languages require not only testing if a set of constraints is satisfiable, but also finding the optimal solution which satisfies them. Unfortunately, the standard declarative semantics for CLP languages does not consider optimization but only constraint satisfaction. Here we give a model theoretic semantics for optimization, which is a simple extension of the standard semantics, and a corresponding operational semantics, which may be efficiently implemented.

Original languageEnglish
Pages (from-to)197-212
Number of pages16
JournalACM Letters on Programming Languages and Systems
Issue number1-4
Publication statusPublished - 3 Jan 1993


  • constraint logic programming
  • semantics

Cite this