skip to content
Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings Preview this item
ClosePreview this item
Checking...

Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings

Author: L -H Eriksson; Lars Hallnäs; Peter Joseph Schroeder-Heister
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Lecture notes in computer science, 596.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations  Read more...
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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Extensions of logic programming.
Berlin ; New York : Springer-Verlag, ©1992
(OCoLC)812620127
Document Type: Book
All Authors / Contributors: L -H Eriksson; Lars Hallnäs; Peter Joseph Schroeder-Heister
ISBN: 354055498X 9783540554981 038755498X 9780387554983
OCLC Number: 25708664
Description: 369 pages ; 25 cm.
Contents: Methodology and programming techniques in GCLA II.- Extended logic-plus-functional Programming.- Open logic theories.- A finitary version of the calculus of partial inductive definitions.- A logic programming approach to implementing higher-Order term rewriting.- An overview of the Andorra Kernel Language.- Logical and computational invariants of programs.- Implementing ?-calculus reduction strategies in extended logic programming languages.- Terminological reasoning and partial inductive definitions.- GCLA II A definitional approach to control.- Natural semantics and some of its meta-theory in Elf.- The near-Horn approach to disjunctive logic programming.
Series Title: Lecture notes in computer science, 596.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: L.-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.).
More information:

Abstract:

This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.

Reviews

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/25708664> # Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "25708664" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/891006063#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/891006063#Topic/programmation_en_logique> ; # programmation en logique
   schema:about <http://experiment.worldcat.org/entity/work/data/891006063#Topic/gcla> ; # GCLA
   schema:about <http://experiment.worldcat.org/entity/work/data/891006063#Topic/programmation_logique_congres> ; # Programmation logique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/891006063#Topic/logic_programming> ; # Logic programming
   schema:about <http://experiment.worldcat.org/entity/work/data/891006063#Topic/programmation_logique> ; # Programmation logique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/24691294> ; # Peter Joseph Schroeder-Heister
   schema:contributor <http://viaf.org/viaf/112445605> ; # Lars Hallnäs
   schema:contributor <http://viaf.org/viaf/10101696> ; # Lars-Henrik Eriksson
   schema:copyrightYear "1992" ;
   schema:datePublished "1992" ;
   schema:description ""This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies. The first workshop in this series was held in T}bingen in 1989 and its proceedings areavailable as LNCS 475. The third workshop will be held in Bologna in 1992"--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/891006063> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891006063#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/891006063#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science ; Lecture notes in artificial intelligence
   schema:isSimilarTo <http://www.worldcat.org/oclc/812620127> ;
   schema:name "Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings"@en ;
   schema:productID "25708664" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/25708664#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/891006063#Agent/springer_verlag> ; # Springer-Verlag
   schema:workExample <http://worldcat.org/isbn/9780387554983> ;
   schema:workExample <http://worldcat.org/isbn/9783540554981> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/25708664> ;
    .


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/891006063#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/891006063#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/25708664> ; # Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/891006063#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science ; Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/25708664> ; # Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings
   schema:name "Lecture notes in computer science ; Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/891006063#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
   schema:name "programmation en logique"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/891006063#Topic/programmation_logique_congres> # Programmation logique--Congrès
    a schema:Intangible ;
   schema:name "Programmation logique--Congrès"@en ;
    .

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

<http://viaf.org/viaf/10101696> # Lars-Henrik Eriksson
    a schema:Person ;
   schema:birthDate "1960" ;
   schema:familyName "Eriksson" ;
   schema:givenName "Lars-Henrik" ;
   schema:givenName "L.-H" ;
   schema:name "Lars-Henrik Eriksson" ;
    .

<http://viaf.org/viaf/112445605> # Lars Hallnäs
    a schema:Person ;
   schema:familyName "Hallnäs" ;
   schema:givenName "Lars" ;
   schema:name "Lars Hallnäs" ;
    .

<http://viaf.org/viaf/24691294> # Peter Joseph Schroeder-Heister
    a schema:Person ;
   schema:birthDate "1953" ;
   schema:familyName "Schroeder-Heister" ;
   schema:givenName "Peter Joseph" ;
   schema:name "Peter Joseph Schroeder-Heister" ;
    .

<http://worldcat.org/isbn/9780387554983>
    a schema:ProductModel ;
   schema:isbn "038755498X" ;
   schema:isbn "9780387554983" ;
    .

<http://worldcat.org/isbn/9783540554981>
    a schema:ProductModel ;
   schema:isbn "354055498X" ;
   schema:isbn "9783540554981" ;
    .

<http://www.worldcat.org/oclc/812620127>
    a schema:CreativeWork ;
   rdfs:label "Extensions of logic programming." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/25708664> ; # Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings
    .

<http://www.worldcat.org/title/-/oclc/25708664>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/25708664> ; # Extensions of logic programming : second international workshop, Stockholm, Sweden, January 27-29, 1991, proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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