Semantics of Constraint Logic Programs with Optimization

Kim Marriott; Peter J. Stuckey

doi:10.1145/176454.176522

Semantics of Constraint Logic Programs with Optimization

Kim Marriott, Peter J. Stuckey

Department of Human Centred Computing

Research output: Contribution to journal › Article › Research › peer-review

8 Citations (Scopus)

Abstract

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 language	English
Pages (from-to)	197-212
Number of pages	16
Journal	ACM Letters on Programming Languages and Systems
Volume	2
Issue number	1-4
DOIs	https://doi.org/10.1145/176454.176522
Publication status	Published - 3 Jan 1993

Keywords

constraint logic programming
semantics

Access to Document

10.1145/176454.176522

Cite this

@article{3367d5b0618b4550af1c5ef9a2d4b1e8,

title = "Semantics of Constraint Logic Programs with Optimization",

abstract = "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.",

keywords = "constraint logic programming, semantics",

author = "Kim Marriott and Stuckey, {Peter J.}",

year = "1993",

month = jan,

day = "3",

doi = "10.1145/176454.176522",

language = "English",

volume = "2",

pages = "197--212",

journal = "ACM Letters on Programming Languages and Systems",

issn = "1057-4514",

publisher = "Association for Computing Machinery (ACM)",

number = "1-4",

}

TY - JOUR

T1 - Semantics of Constraint Logic Programs with Optimization

AU - Marriott, Kim

AU - Stuckey, Peter J.

PY - 1993/1/3

Y1 - 1993/1/3

N2 - 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.

AB - 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.

KW - constraint logic programming

KW - semantics

UR - http://www.scopus.com/inward/record.url?scp=0027562395&partnerID=8YFLogxK

U2 - 10.1145/176454.176522

DO - 10.1145/176454.176522

M3 - Article

AN - SCOPUS:0027562395

SN - 1057-4514

VL - 2

SP - 197

EP - 212

JO - ACM Letters on Programming Languages and Systems

JF - ACM Letters on Programming Languages and Systems

IS - 1-4

ER -

Semantics of Constraint Logic Programs with Optimization

Abstract

Keywords

Access to Document

Other files and links

Cite this