Semantics of Constraint with Optimization KIM MARRIOIT Monash University and PETER J. STUCKEY University of Melbourne Logic Programs Many applications of constraint logic programming (CLP) 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. Techniques]: Logic Programming Categories and Subject Descriptors: D. 1.6 [Programming F.4. 1 [Mathematical Logic and Formal Languages]: Mathematical Lo@c logic programming; G. 1.6 [Numerical Analysis]: Optimization constrained optimization General Additional Terms: Languages, Key Words Theory Constraint logic programming, semantics and Phrases: 1. INTRODUCTION One of the most promising design is the amalgamation innovations of constraint in recent programming programming and logic language program- ming [Jaffar and Lassez 1987]. Constraints provide a powerful and natural programming paradigm, in which the objects of computation are not explicitly constructed, but rather they are implicitly defined using constraints. Applications for constraint logic programming languages have been in many diverse areas. They include
End of preview. The entire article is 16 pages. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/semantics-of-constraint-logic-programs-with-optimization-lKMe1YHfGU
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Semantics of constraint logic programs with optimization
Marriott, Kim; Stuckey, Peter J.
Follow ACM Letters on Programming Languages and Systems (LOPLAS)
, Volume 2 (1-4)
Association for Computing Machinery – Mar 1, 1993
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
