An Overview of HAL View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1999

AUTHORS

Bart Demoen , Maria García de la Banda , Warwick Harvey , Kim Marriott , Peter Stuckey

ABSTRACT

Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-defined solver interface, mutable global variables for implementing a constraint store, and dynamic scheduling for combining, extending and writing new constraint solvers. Equally importantly, HAL supports semi-optional type, mode and determinism declarations. These allow natural constraint specification by means of type overloading, better compile-time error checking and generation of more efficient run-time code. More... »

PAGES

174-188

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-48085-3_13

DOI

http://dx.doi.org/10.1007/978-3-540-48085-3_13

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "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"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Dept. of Computer Science, K.U.Leuven, Belgium", 
          "id": "http://www.grid.ac/institutes/grid.5596.f", 
          "name": [
            "Dept. of Computer Science, K.U.Leuven, Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Demoen", 
        "givenName": "Bart", 
        "id": "sg:person.016365417761.57", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016365417761.57"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Computer Science & Software Engineering, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science & Software Engineering, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "de la Banda", 
        "givenName": "Maria Garc\u00eda", 
        "id": "sg:person.016350443307.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Computer Science & Software Engineering, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science & Software Engineering, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Harvey", 
        "givenName": "Warwick", 
        "id": "sg:person.016110070307.54", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016110070307.54"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "School of Computer Science & Software Engineering, Monash University, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1002.3", 
          "name": [
            "School of Computer Science & Software Engineering, Monash University, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Marriott", 
        "givenName": "Kim", 
        "id": "sg:person.014375607254.44", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept. of Computer Science & Software Engineering, University of Melbourne, Australia", 
          "id": "http://www.grid.ac/institutes/grid.1008.9", 
          "name": [
            "Dept. of Computer Science & Software Engineering, University of Melbourne, Australia"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Stuckey", 
        "givenName": "Peter", 
        "id": "sg:person.012243374043.93", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1999", 
    "datePublishedReg": "1999-01-01", 
    "description": "Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-defined solver interface, mutable global variables for implementing a constraint store, and dynamic scheduling for combining, extending and writing new constraint solvers. Equally importantly, HAL supports semi-optional type, mode and determinism declarations. These allow natural constraint specification by means of type overloading, better compile-time error checking and generation of more efficient run-time code.", 
    "editor": [
      {
        "familyName": "Jaffar", 
        "givenName": "Joxan", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-48085-3_13", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-66626-4", 
        "978-3-540-48085-3"
      ], 
      "name": "Principles and Practice of Constraint Programming \u2013 CP\u201999", 
      "type": "Book"
    }, 
    "keywords": [
      "constraint solver", 
      "efficient run-time code", 
      "constraint logic programming language", 
      "new constraint logic programming language", 
      "run-time code", 
      "logic programming language", 
      "new constraint solver", 
      "determinism declarations", 
      "real-life problems", 
      "different constraint solvers", 
      "constraint store", 
      "solver interface", 
      "constraint programming", 
      "constraint specification", 
      "programming language", 
      "dynamic scheduling", 
      "error checking", 
      "efficient solution", 
      "global variables", 
      "solver", 
      "checking", 
      "scheduling", 
      "programming", 
      "specification", 
      "language", 
      "code", 
      "experimentation", 
      "interface", 
      "stores", 
      "overloading", 
      "solution", 
      "overview", 
      "generation", 
      "process", 
      "experience", 
      "means", 
      "HAL", 
      "types", 
      "Declaration", 
      "mode", 
      "variables", 
      "problem"
    ], 
    "name": "An Overview of HAL", 
    "pagination": "174-188", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1018859956"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-48085-3_13"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-48085-3_13", 
      "https://app.dimensions.ai/details/publication/pub.1018859956"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:42", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_148.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-48085-3_13"
  }
]
 

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-48085-3_13'

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-48085-3_13'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-48085-3_13'

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-48085-3_13'


 

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

140 TRIPLES      23 PREDICATES      69 URIs      61 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-48085-3_13 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:0803
4 schema:author Ne0df2ede430244ab8b65b06502950d0d
5 schema:datePublished 1999
6 schema:datePublishedReg 1999-01-01
7 schema:description Experience using constraint programming to solve real-life problems has shown that finding an efficient solution to the problem often requires experimentation with different constraint solvers or even building a problem-specific constraint solver. HAL is a new constraint logic programming language expressly designed to facilitate this process. It provides a well-defined solver interface, mutable global variables for implementing a constraint store, and dynamic scheduling for combining, extending and writing new constraint solvers. Equally importantly, HAL supports semi-optional type, mode and determinism declarations. These allow natural constraint specification by means of type overloading, better compile-time error checking and generation of more efficient run-time code.
8 schema:editor N7c6fd465e7774a8c82f6e67cd88c1ebf
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf Ncd94f4b372684a29b58aeaaca9972d4e
13 schema:keywords Declaration
14 HAL
15 checking
16 code
17 constraint logic programming language
18 constraint programming
19 constraint solver
20 constraint specification
21 constraint store
22 determinism declarations
23 different constraint solvers
24 dynamic scheduling
25 efficient run-time code
26 efficient solution
27 error checking
28 experience
29 experimentation
30 generation
31 global variables
32 interface
33 language
34 logic programming language
35 means
36 mode
37 new constraint logic programming language
38 new constraint solver
39 overloading
40 overview
41 problem
42 process
43 programming
44 programming language
45 real-life problems
46 run-time code
47 scheduling
48 solution
49 solver
50 solver interface
51 specification
52 stores
53 types
54 variables
55 schema:name An Overview of HAL
56 schema:pagination 174-188
57 schema:productId N3a70c22794e744febe02c0fdd982630f
58 N7759bd68d71e4897a2dc211a690384cb
59 schema:publisher N8f35a7531e4b46398ddb6806916e5a1c
60 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018859956
61 https://doi.org/10.1007/978-3-540-48085-3_13
62 schema:sdDatePublished 2022-05-20T07:42
63 schema:sdLicense https://scigraph.springernature.com/explorer/license/
64 schema:sdPublisher Nb15a8138b3df46ff8973a45e366d6591
65 schema:url https://doi.org/10.1007/978-3-540-48085-3_13
66 sgo:license sg:explorer/license/
67 sgo:sdDataset chapters
68 rdf:type schema:Chapter
69 N0ad503486ca54b9faf8f7e954bb4d5f2 rdf:first sg:person.012243374043.93
70 rdf:rest rdf:nil
71 N0ffd2892f4ce464eb12efcdb3d8efb0c rdf:first sg:person.016110070307.54
72 rdf:rest N4f31f252435a4407892d8260f7c4bf37
73 N382991f3c15c4c40a2b5bc57f957c911 schema:familyName Jaffar
74 schema:givenName Joxan
75 rdf:type schema:Person
76 N3a70c22794e744febe02c0fdd982630f schema:name doi
77 schema:value 10.1007/978-3-540-48085-3_13
78 rdf:type schema:PropertyValue
79 N4f31f252435a4407892d8260f7c4bf37 rdf:first sg:person.014375607254.44
80 rdf:rest N0ad503486ca54b9faf8f7e954bb4d5f2
81 N7759bd68d71e4897a2dc211a690384cb schema:name dimensions_id
82 schema:value pub.1018859956
83 rdf:type schema:PropertyValue
84 N7c6fd465e7774a8c82f6e67cd88c1ebf rdf:first N382991f3c15c4c40a2b5bc57f957c911
85 rdf:rest rdf:nil
86 N8f35a7531e4b46398ddb6806916e5a1c schema:name Springer Nature
87 rdf:type schema:Organisation
88 Nb15a8138b3df46ff8973a45e366d6591 schema:name Springer Nature - SN SciGraph project
89 rdf:type schema:Organization
90 Ncd94f4b372684a29b58aeaaca9972d4e schema:isbn 978-3-540-48085-3
91 978-3-540-66626-4
92 schema:name Principles and Practice of Constraint Programming – CP’99
93 rdf:type schema:Book
94 Nd9b9738ed74a4ec7bcc132f7f8cd04b2 rdf:first sg:person.016350443307.93
95 rdf:rest N0ffd2892f4ce464eb12efcdb3d8efb0c
96 Ne0df2ede430244ab8b65b06502950d0d rdf:first sg:person.016365417761.57
97 rdf:rest Nd9b9738ed74a4ec7bcc132f7f8cd04b2
98 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
99 schema:name Information and Computing Sciences
100 rdf:type schema:DefinedTerm
101 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
102 schema:name Computation Theory and Mathematics
103 rdf:type schema:DefinedTerm
104 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
105 schema:name Computer Software
106 rdf:type schema:DefinedTerm
107 sg:person.012243374043.93 schema:affiliation grid-institutes:grid.1008.9
108 schema:familyName Stuckey
109 schema:givenName Peter
110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012243374043.93
111 rdf:type schema:Person
112 sg:person.014375607254.44 schema:affiliation grid-institutes:grid.1002.3
113 schema:familyName Marriott
114 schema:givenName Kim
115 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014375607254.44
116 rdf:type schema:Person
117 sg:person.016110070307.54 schema:affiliation grid-institutes:grid.1002.3
118 schema:familyName Harvey
119 schema:givenName Warwick
120 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016110070307.54
121 rdf:type schema:Person
122 sg:person.016350443307.93 schema:affiliation grid-institutes:grid.1002.3
123 schema:familyName de la Banda
124 schema:givenName Maria García
125 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016350443307.93
126 rdf:type schema:Person
127 sg:person.016365417761.57 schema:affiliation grid-institutes:grid.5596.f
128 schema:familyName Demoen
129 schema:givenName Bart
130 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016365417761.57
131 rdf:type schema:Person
132 grid-institutes:grid.1002.3 schema:alternateName School of Computer Science & Software Engineering, Monash University, Australia
133 schema:name School of Computer Science & Software Engineering, Monash University, Australia
134 rdf:type schema:Organization
135 grid-institutes:grid.1008.9 schema:alternateName Dept. of Computer Science & Software Engineering, University of Melbourne, Australia
136 schema:name Dept. of Computer Science & Software Engineering, University of Melbourne, Australia
137 rdf:type schema:Organization
138 grid-institutes:grid.5596.f schema:alternateName Dept. of Computer Science, K.U.Leuven, Belgium
139 schema:name Dept. of Computer Science, K.U.Leuven, Belgium
140 rdf:type schema:Organization
 




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


...