Ontology type: schema:Chapter
1992
AUTHORS ABSTRACTWe relate two mechanisms which aim at the extension of logic programming languages. The first mechanism directly extends syntactic unification through the introduction of a data type, whose (unification) semantics are specified through user-defined predicates. The second mechanism was utilized for the implementation of coroutining facilities, and was independently derived with optimal memory management for various Prolog extensions in mind. Experience from the application of both mechanisms to the realization of CLP languages, without leaving the logic programming context, enables us to reveal similarities and the potential with respect to this task. Constructive measures that narrow or close the gap between the two conceptual schemes are provided. More... »
PAGES260-268
Programming Language Implementation and Logic Programming
ISBN
978-3-540-55844-6
978-3-540-47297-1
http://scigraph.springernature.com/pub.10.1007/3-540-55844-6_141
DOIhttp://dx.doi.org/10.1007/3-540-55844-6_141
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1051510308
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/0803",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Computer Software",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria",
"id": "http://www.grid.ac/institutes/grid.10420.37",
"name": [
"Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria"
],
"type": "Organization"
},
"familyName": "Holzbaur",
"givenName": "Christian",
"id": "sg:person.015052747435.75",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75"
],
"type": "Person"
}
],
"datePublished": "1992",
"datePublishedReg": "1992-01-01",
"description": "We relate two mechanisms which aim at the extension of logic programming languages. The first mechanism directly extends syntactic unification through the introduction of a data type, whose (unification) semantics are specified through user-defined predicates. The second mechanism was utilized for the implementation of coroutining facilities, and was independently derived with optimal memory management for various Prolog extensions in mind. Experience from the application of both mechanisms to the realization of CLP languages, without leaving the logic programming context, enables us to reveal similarities and the potential with respect to this task. Constructive measures that narrow or close the gap between the two conceptual schemes are provided.",
"editor": [
{
"familyName": "Bruynooghe",
"givenName": "Maurice",
"type": "Person"
},
{
"familyName": "Wirsing",
"givenName": "Martin",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/3-540-55844-6_141",
"inLanguage": "en",
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-540-55844-6",
"978-3-540-47297-1"
],
"name": "Programming Language Implementation and Logic Programming",
"type": "Book"
},
"keywords": [
"user-defined predicates",
"optimal memory management",
"logic programming language",
"CLP languages",
"memory management",
"programming language",
"Prolog extensions",
"data types",
"programming context",
"syntactic unification",
"language",
"semantics",
"predicates",
"task",
"implementation",
"scheme",
"extension",
"conceptual scheme",
"context",
"unification",
"applications",
"realization",
"first mechanism",
"management",
"similarity",
"facilities",
"constructive measures",
"experience",
"mechanism",
"mind",
"gap",
"respect",
"introduction",
"measures",
"types",
"variables",
"second mechanism",
"metastructures",
"potential"
],
"name": "Metastructures vs. attributed variables in the context of extensible unification",
"pagination": "260-268",
"productId": [
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1051510308"
]
},
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/3-540-55844-6_141"
]
}
],
"publisher": {
"name": "Springer Nature",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/3-540-55844-6_141",
"https://app.dimensions.ai/details/publication/pub.1051510308"
],
"sdDataset": "chapters",
"sdDatePublished": "2022-05-20T07:49",
"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_59.jsonl",
"type": "Chapter",
"url": "https://doi.org/10.1007/3-540-55844-6_141"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
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/3-540-55844-6_141'
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/3-540-55844-6_141'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-55844-6_141'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-55844-6_141'
This table displays all metadata directly associated to this object as RDF triples.
104 TRIPLES
23 PREDICATES
65 URIs
58 LITERALS
7 BLANK NODES
Subject | Predicate | Object | |
---|---|---|---|
1 | sg:pub.10.1007/3-540-55844-6_141 | schema:about | anzsrc-for:08 |
2 | ″ | ″ | anzsrc-for:0803 |
3 | ″ | schema:author | N989c455244d5482da6a0787bfb998719 |
4 | ″ | schema:datePublished | 1992 |
5 | ″ | schema:datePublishedReg | 1992-01-01 |
6 | ″ | schema:description | We relate two mechanisms which aim at the extension of logic programming languages. The first mechanism directly extends syntactic unification through the introduction of a data type, whose (unification) semantics are specified through user-defined predicates. The second mechanism was utilized for the implementation of coroutining facilities, and was independently derived with optimal memory management for various Prolog extensions in mind. Experience from the application of both mechanisms to the realization of CLP languages, without leaving the logic programming context, enables us to reveal similarities and the potential with respect to this task. Constructive measures that narrow or close the gap between the two conceptual schemes are provided. |
7 | ″ | schema:editor | Ne9f2347bb5a6437fa251ffbbc19dff5d |
8 | ″ | schema:genre | chapter |
9 | ″ | schema:inLanguage | en |
10 | ″ | schema:isAccessibleForFree | false |
11 | ″ | schema:isPartOf | N8ef75745e0374ca496f6cda821953b71 |
12 | ″ | schema:keywords | CLP languages |
13 | ″ | ″ | Prolog extensions |
14 | ″ | ″ | applications |
15 | ″ | ″ | conceptual scheme |
16 | ″ | ″ | constructive measures |
17 | ″ | ″ | context |
18 | ″ | ″ | data types |
19 | ″ | ″ | experience |
20 | ″ | ″ | extension |
21 | ″ | ″ | facilities |
22 | ″ | ″ | first mechanism |
23 | ″ | ″ | gap |
24 | ″ | ″ | implementation |
25 | ″ | ″ | introduction |
26 | ″ | ″ | language |
27 | ″ | ″ | logic programming language |
28 | ″ | ″ | management |
29 | ″ | ″ | measures |
30 | ″ | ″ | mechanism |
31 | ″ | ″ | memory management |
32 | ″ | ″ | metastructures |
33 | ″ | ″ | mind |
34 | ″ | ″ | optimal memory management |
35 | ″ | ″ | potential |
36 | ″ | ″ | predicates |
37 | ″ | ″ | programming context |
38 | ″ | ″ | programming language |
39 | ″ | ″ | realization |
40 | ″ | ″ | respect |
41 | ″ | ″ | scheme |
42 | ″ | ″ | second mechanism |
43 | ″ | ″ | semantics |
44 | ″ | ″ | similarity |
45 | ″ | ″ | syntactic unification |
46 | ″ | ″ | task |
47 | ″ | ″ | types |
48 | ″ | ″ | unification |
49 | ″ | ″ | user-defined predicates |
50 | ″ | ″ | variables |
51 | ″ | schema:name | Metastructures vs. attributed variables in the context of extensible unification |
52 | ″ | schema:pagination | 260-268 |
53 | ″ | schema:productId | Nd286415014394f688b7b5add1c3d60ce |
54 | ″ | ″ | Ne3b853cdb3d043258aa49a363cf146f4 |
55 | ″ | schema:publisher | N797c2dc381c1452cbb65296c00760c55 |
56 | ″ | schema:sameAs | https://app.dimensions.ai/details/publication/pub.1051510308 |
57 | ″ | ″ | https://doi.org/10.1007/3-540-55844-6_141 |
58 | ″ | schema:sdDatePublished | 2022-05-20T07:49 |
59 | ″ | schema:sdLicense | https://scigraph.springernature.com/explorer/license/ |
60 | ″ | schema:sdPublisher | N0811038be382464db3acfb6107be8ff4 |
61 | ″ | schema:url | https://doi.org/10.1007/3-540-55844-6_141 |
62 | ″ | sgo:license | sg:explorer/license/ |
63 | ″ | sgo:sdDataset | chapters |
64 | ″ | rdf:type | schema:Chapter |
65 | N0811038be382464db3acfb6107be8ff4 | schema:name | Springer Nature - SN SciGraph project |
66 | ″ | rdf:type | schema:Organization |
67 | N21e5f769655444b2bbeb4db8122ad296 | schema:familyName | Wirsing |
68 | ″ | schema:givenName | Martin |
69 | ″ | rdf:type | schema:Person |
70 | N43b991fcadd749b2a7831a05c3c1269c | rdf:first | N21e5f769655444b2bbeb4db8122ad296 |
71 | ″ | rdf:rest | rdf:nil |
72 | N797c2dc381c1452cbb65296c00760c55 | schema:name | Springer Nature |
73 | ″ | rdf:type | schema:Organisation |
74 | N8ef75745e0374ca496f6cda821953b71 | schema:isbn | 978-3-540-47297-1 |
75 | ″ | ″ | 978-3-540-55844-6 |
76 | ″ | schema:name | Programming Language Implementation and Logic Programming |
77 | ″ | rdf:type | schema:Book |
78 | N989c455244d5482da6a0787bfb998719 | rdf:first | sg:person.015052747435.75 |
79 | ″ | rdf:rest | rdf:nil |
80 | Na0885552b69540e18ad1cf126cb94992 | schema:familyName | Bruynooghe |
81 | ″ | schema:givenName | Maurice |
82 | ″ | rdf:type | schema:Person |
83 | Nd286415014394f688b7b5add1c3d60ce | schema:name | dimensions_id |
84 | ″ | schema:value | pub.1051510308 |
85 | ″ | rdf:type | schema:PropertyValue |
86 | Ne3b853cdb3d043258aa49a363cf146f4 | schema:name | doi |
87 | ″ | schema:value | 10.1007/3-540-55844-6_141 |
88 | ″ | rdf:type | schema:PropertyValue |
89 | Ne9f2347bb5a6437fa251ffbbc19dff5d | rdf:first | Na0885552b69540e18ad1cf126cb94992 |
90 | ″ | rdf:rest | N43b991fcadd749b2a7831a05c3c1269c |
91 | anzsrc-for:08 | schema:inDefinedTermSet | anzsrc-for: |
92 | ″ | schema:name | Information and Computing Sciences |
93 | ″ | rdf:type | schema:DefinedTerm |
94 | anzsrc-for:0803 | schema:inDefinedTermSet | anzsrc-for: |
95 | ″ | schema:name | Computer Software |
96 | ″ | rdf:type | schema:DefinedTerm |
97 | sg:person.015052747435.75 | schema:affiliation | grid-institutes:grid.10420.37 |
98 | ″ | schema:familyName | Holzbaur |
99 | ″ | schema:givenName | Christian |
100 | ″ | schema:sameAs | https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015052747435.75 |
101 | ″ | rdf:type | schema:Person |
102 | grid-institutes:grid.10420.37 | schema:alternateName | Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria |
103 | ″ | schema:name | Austrian Research Institute for Artificial Intelligence, and Department of Medical Cybernetics and Artificial Intelligence, University of Vienna, Freyung 6, A-1010, Vienna, Austria |
104 | ″ | rdf:type | schema:Organization |