Welcome to Constraint Handling Rules View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2008

AUTHORS

Thom Frühwirth

ABSTRACT

Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. As an introduction to CHR as a general-purpose programming language we present some small programs using different programming styles and discuss their properties. More... »

PAGES

1-15

References to SciGraph publications

Book

TITLE

Constraint Handling Rules

ISBN

978-3-540-92242-1
978-3-540-92243-8

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-92243-8_1

DOI

http://dx.doi.org/10.1007/978-3-540-92243-8_1

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1033466399


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Ulm", 
          "id": "https://www.grid.ac/institutes/grid.6582.9", 
          "name": [
            "University of Ulm, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Fr\u00fchwirth", 
        "givenName": "Thom", 
        "id": "sg:person.013750414271.15", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/s0743-1066(98)10005-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000275719"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0017444", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010989701", 
          "https://doi.org/10.1007/bfb0017444"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bfb0017444", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1010989701", 
          "https://doi.org/10.1007/bfb0017444"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1023/a:1009842826135", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017229802", 
          "https://doi.org/10.1023/a:1009842826135"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1023426236", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-662-05138-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023426236", 
          "https://doi.org/10.1007/978-3-662-05138-2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-662-05138-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1023426236", 
          "https://doi.org/10.1007/978-3-662-05138-2"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/3-540-44654-0_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043896941", 
          "https://doi.org/10.1007/3-540-44654-0_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043968221", 
          "https://doi.org/10.1007/978-3-540-27775-0_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-540-27775-0_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1043968221", 
          "https://doi.org/10.1007/978-3-540-27775-0_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-739x(88)90012-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050586642"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-739x(88)90012-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1050586642"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002346", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053931284"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002346", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053931284"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/s1471068405002346", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1053931284"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9781139172752", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098713477"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2008", 
    "datePublishedReg": "2008-01-01", 
    "description": "Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. As an introduction to CHR as a general-purpose programming language we present some small programs using different programming styles and discuss their properties.", 
    "editor": [
      {
        "familyName": "Schrijvers", 
        "givenName": "Tom", 
        "type": "Person"
      }, 
      {
        "familyName": "Fr\u00fchwirth", 
        "givenName": "Thom", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-92243-8_1", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-92242-1", 
        "978-3-540-92243-8"
      ], 
      "name": "Constraint Handling Rules", 
      "type": "Book"
    }, 
    "name": "Welcome to Constraint Handling Rules", 
    "pagination": "1-15", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1033466399"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-92243-8_1"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "9f6d4f65a4025d8120097d702d4ab78703be4d3d9d21ea5e6d717f8247cfdfa4"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-92243-8_1", 
      "https://app.dimensions.ai/details/publication/pub.1033466399"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-16T07:10", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000353_0000000353/records_45339_00000000.jsonl", 
    "type": "Chapter", 
    "url": "https://link.springer.com/10.1007%2F978-3-540-92243-8_1"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-92243-8_1'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-92243-8_1'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-92243-8_1'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-92243-8_1'


 

This table displays all metadata directly associated to this object as RDF triples.

104 TRIPLES      23 PREDICATES      37 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-92243-8_1 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N32df5f8cbb794adeb1b718c3fb77b716
4 schema:citation sg:pub.10.1007/3-540-44654-0_15
5 sg:pub.10.1007/978-3-540-27775-0_7
6 sg:pub.10.1007/978-3-662-05138-2
7 sg:pub.10.1007/bfb0017444
8 sg:pub.10.1023/a:1009842826135
9 https://app.dimensions.ai/details/publication/pub.1023426236
10 https://doi.org/10.1016/0167-739x(88)90012-x
11 https://doi.org/10.1016/s0743-1066(98)10005-5
12 https://doi.org/10.1017/cbo9781139172752
13 https://doi.org/10.1017/s1471068405002346
14 schema:datePublished 2008
15 schema:datePublishedReg 2008-01-01
16 schema:description Constraint Handling Rules (CHR) is a declarative concurrent committed-choice constraint logic programming language consisting of guarded rules that transform multisets of relations called constraints until no more change occurs. As an introduction to CHR as a general-purpose programming language we present some small programs using different programming styles and discuss their properties.
17 schema:editor N629bd29f4219497f8f4e75b5ae2d29bb
18 schema:genre chapter
19 schema:inLanguage en
20 schema:isAccessibleForFree true
21 schema:isPartOf N2ad951b87d9a43079fd2961f919acb93
22 schema:name Welcome to Constraint Handling Rules
23 schema:pagination 1-15
24 schema:productId N66cff0ca44314470b46f315d916c2ede
25 N8cb1fe1b500841dc9c0f7f825080aa39
26 Na6d62b3aa4dc447a96bb553586e0c0be
27 schema:publisher N0e8fc25f07034545bdbc8849219ca8e1
28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033466399
29 https://doi.org/10.1007/978-3-540-92243-8_1
30 schema:sdDatePublished 2019-04-16T07:10
31 schema:sdLicense https://scigraph.springernature.com/explorer/license/
32 schema:sdPublisher Na8d1b4a779c74fb89db7ce77d7425414
33 schema:url https://link.springer.com/10.1007%2F978-3-540-92243-8_1
34 sgo:license sg:explorer/license/
35 sgo:sdDataset chapters
36 rdf:type schema:Chapter
37 N01fbc77841834d00b86ca077462405a8 rdf:first N33c5f671f897473582e35c28bf6bb18f
38 rdf:rest rdf:nil
39 N0e8fc25f07034545bdbc8849219ca8e1 schema:location Berlin, Heidelberg
40 schema:name Springer Berlin Heidelberg
41 rdf:type schema:Organisation
42 N2ad951b87d9a43079fd2961f919acb93 schema:isbn 978-3-540-92242-1
43 978-3-540-92243-8
44 schema:name Constraint Handling Rules
45 rdf:type schema:Book
46 N32df5f8cbb794adeb1b718c3fb77b716 rdf:first sg:person.013750414271.15
47 rdf:rest rdf:nil
48 N33c5f671f897473582e35c28bf6bb18f schema:familyName Frühwirth
49 schema:givenName Thom
50 rdf:type schema:Person
51 N622224243297490a9ff9380b5dcd2d4f schema:familyName Schrijvers
52 schema:givenName Tom
53 rdf:type schema:Person
54 N629bd29f4219497f8f4e75b5ae2d29bb rdf:first N622224243297490a9ff9380b5dcd2d4f
55 rdf:rest N01fbc77841834d00b86ca077462405a8
56 N66cff0ca44314470b46f315d916c2ede schema:name readcube_id
57 schema:value 9f6d4f65a4025d8120097d702d4ab78703be4d3d9d21ea5e6d717f8247cfdfa4
58 rdf:type schema:PropertyValue
59 N8cb1fe1b500841dc9c0f7f825080aa39 schema:name doi
60 schema:value 10.1007/978-3-540-92243-8_1
61 rdf:type schema:PropertyValue
62 Na6d62b3aa4dc447a96bb553586e0c0be schema:name dimensions_id
63 schema:value pub.1033466399
64 rdf:type schema:PropertyValue
65 Na8d1b4a779c74fb89db7ce77d7425414 schema:name Springer Nature - SN SciGraph project
66 rdf:type schema:Organization
67 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
68 schema:name Information and Computing Sciences
69 rdf:type schema:DefinedTerm
70 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
71 schema:name Computer Software
72 rdf:type schema:DefinedTerm
73 sg:person.013750414271.15 schema:affiliation https://www.grid.ac/institutes/grid.6582.9
74 schema:familyName Frühwirth
75 schema:givenName Thom
76 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013750414271.15
77 rdf:type schema:Person
78 sg:pub.10.1007/3-540-44654-0_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043896941
79 https://doi.org/10.1007/3-540-44654-0_15
80 rdf:type schema:CreativeWork
81 sg:pub.10.1007/978-3-540-27775-0_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043968221
82 https://doi.org/10.1007/978-3-540-27775-0_7
83 rdf:type schema:CreativeWork
84 sg:pub.10.1007/978-3-662-05138-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023426236
85 https://doi.org/10.1007/978-3-662-05138-2
86 rdf:type schema:CreativeWork
87 sg:pub.10.1007/bfb0017444 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010989701
88 https://doi.org/10.1007/bfb0017444
89 rdf:type schema:CreativeWork
90 sg:pub.10.1023/a:1009842826135 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017229802
91 https://doi.org/10.1023/a:1009842826135
92 rdf:type schema:CreativeWork
93 https://app.dimensions.ai/details/publication/pub.1023426236 schema:CreativeWork
94 https://doi.org/10.1016/0167-739x(88)90012-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1050586642
95 rdf:type schema:CreativeWork
96 https://doi.org/10.1016/s0743-1066(98)10005-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1000275719
97 rdf:type schema:CreativeWork
98 https://doi.org/10.1017/cbo9781139172752 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098713477
99 rdf:type schema:CreativeWork
100 https://doi.org/10.1017/s1471068405002346 schema:sameAs https://app.dimensions.ai/details/publication/pub.1053931284
101 rdf:type schema:CreativeWork
102 https://www.grid.ac/institutes/grid.6582.9 schema:alternateName University of Ulm
103 schema:name University of Ulm, Germany
104 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...