Metastructures vs. attributed variables in the context of extensible unification View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1992

AUTHORS

Christian Holzbaur

ABSTRACT

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. More... »

PAGES

260-268

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-55844-6_141

DOI

http://dx.doi.org/10.1007/3-540-55844-6_141

DIMENSIONS

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


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/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

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/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
 




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


...