skip to content
Constraint handling rules Preview this item
ClosePreview this item
Checking...

Constraint handling rules

Author: Thom Frühwirth
Publisher: Cambridge, U.K. ; New York : Cambridge University Press, 2009.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

The definitive reference on Constraint Handling Rules, from the creator of the language.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Thom Frühwirth
ISBN: 9780521877763 0521877768
OCLC Number: 311769446
Description: xxiii, 296 pages : illustrations ; 26 cm
Contents: pt. I. CHR tutorial --
1. Getting started --
2. My first CHR programs --
pt. II. CHR language --
3. Syntax and semantics --
4. Properties of CHR --
5. Program analysis --
6. Rule-based and graph-based formalisms in CHR --
pt. III. CHR programs and applications --
7. My first CHR programs, revisited for analysis --
8. Finite domain constraint solvers --
9. Infinite domain constraint solvers --
10. Union-find algorithm.
Responsibility: Thom Frühwirth.
More information:

Reviews

Editorial reviews

Publisher Synopsis

'This is a great book illustrating both the simplicity and power of Constraint Handling Rules, the purest form of rule based programming I know.' Professor Peter J. Stuckey, University of Melbourne, Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/311769446> # Constraint handling rules
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "311769446" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1843260277#Place/cambridge_u_k> ; # Cambridge, U.K.
   schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_par_contraintes> ; # Programmation par contraintes
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/contraintes_intelligence_artificielle> ; # Contraintes (intelligence artificielle)
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_declarative> ; # Programmation déclarative
   schema:about <http://dewey.info/class/005.116/e22/> ;
   schema:about <http://id.worldcat.org/fast/889108> ; # Declarative programming
   schema:about <http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_logique> ; # Programmation logique
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/61827694> ; # Thom Frühwirth
   schema:datePublished "2009" ;
   schema:description "pt. I. CHR tutorial -- 1. Getting started -- 2. My first CHR programs -- pt. II. CHR language -- 3. Syntax and semantics -- 4. Properties of CHR -- 5. Program analysis -- 6. Rule-based and graph-based formalisms in CHR -- pt. III. CHR programs and applications -- 7. My first CHR programs, revisited for analysis -- 8. Finite domain constraint solvers -- 9. Infinite domain constraint solvers -- 10. Union-find algorithm."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1843260277> ;
   schema:inLanguage "en" ;
   schema:name "Constraint handling rules"@en ;
   schema:productID "311769446" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/311769446#PublicationEvent/cambridge_u_k_new_york_cambridge_university_press_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1843260277#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:url <http://catdir.loc.gov/catdir/toc/fy1001/2009018859.html> ;
   schema:workExample <http://worldcat.org/isbn/9780521877763> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA950537> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/311769446> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/contraintes_intelligence_artificielle> # Contraintes (intelligence artificielle)
    a schema:Intangible ;
   schema:name "Contraintes (intelligence artificielle)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_declarative> # Programmation déclarative
    a schema:Intangible ;
   schema:name "Programmation déclarative"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_logique> # Programmation logique
    a schema:Intangible ;
   schema:name "Programmation logique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1843260277#Topic/programmation_par_contraintes> # Programmation par contraintes
    a schema:Intangible ;
   schema:name "Programmation par contraintes"@en ;
    .

<http://id.worldcat.org/fast/1002056> # Logic programming
    a schema:Intangible ;
   schema:name "Logic programming"@en ;
    .

<http://id.worldcat.org/fast/875873> # Constraint programming (Computer science)
    a schema:Intangible ;
   schema:name "Constraint programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/889108> # Declarative programming
    a schema:Intangible ;
   schema:name "Declarative programming"@en ;
    .

<http://viaf.org/viaf/61827694> # Thom Frühwirth
    a schema:Person ;
   schema:birthDate "1962" ;
   schema:familyName "Frühwirth" ;
   schema:givenName "Thom" ;
   schema:name "Thom Frühwirth" ;
    .

<http://worldcat.org/isbn/9780521877763>
    a schema:ProductModel ;
   schema:isbn "0521877768" ;
   schema:isbn "9780521877763" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.