skip to content
Foundations of Equational Logic Programming Preview this item
ClosePreview this item
Checking...

Foundations of Equational Logic Programming

Author: Steffen Hölldobler
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1989.
Series: Lecture notes in computer science, 353.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Steffen Hölldobler
ISBN: 9783540515333 354051533X
OCLC Number: 699831466
Description: 1 online resource (Online-Ressource.).
Contents: Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.
Series Title: Lecture notes in computer science, 353.
Responsibility: by Steffen Hölldobler.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/699831466> # Foundations of Equational Logic Programming
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "699831466" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/22245214#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/22245214#Person/holldobler_steffen> ; # Steffen Hölldobler
    schema:datePublished "1989" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/22245214> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/22245214#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Foundations of Equational Logic Programming" ;
    schema:productID "699831466" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/699831466#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/22245214#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/BFb0015791> ;
    schema:workExample <http://worldcat.org/isbn/9783540515333> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/699831466> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/22245214#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/22245214#Person/holldobler_steffen> # Steffen Hölldobler
    a schema:Person ;
    schema:familyName "Hölldobler" ;
    schema:givenName "Steffen" ;
    schema:name "Steffen Hölldobler" ;
    .

<http://experiment.worldcat.org/entity/work/data/22245214#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/22245214#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/699831466> ; # Foundations of Equational Logic Programming
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://worldcat.org/isbn/9783540515333>
    a schema:ProductModel ;
    schema:isbn "354051533X" ;
    schema:isbn "9783540515333" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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