skip to content
Foundations of logic programming Preview this item
ClosePreview this item
Checking...

Foundations of logic programming

Author: J W Lloyd
Publisher: Berlin ; New York : Springer-Verlag, 1984.
Series: Symbolic computation., Artificial intelligence.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
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

Additional Physical Format: Online version:
Lloyd, J.W. (John Wylie), 1947-
Foundations of logic programming.
Berlin ; New York : Springer-Verlag, 1984
(OCoLC)557989546
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J W Lloyd
ISBN: 0387132996 9780387132990 3540132996 9783540132998
OCLC Number: 11186391
Description: x, 124 pages ; 25 cm.
Series Title: Symbolic computation., Artificial intelligence.
Responsibility: J.W. Lloyd.

Reviews

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

Tags

All user tags (2)

View most popular tags as: tag list | tag cloud

  • ai  (by 1 person)
  • jds  (by 1 person)
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/11186391> # Foundations of logic programming
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "11186391" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4124828#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/einfuhrung> ; # Einführung
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/prolog> ; # PROLOG
    schema:about <http://dewey.info/class/001.642/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/semantique_langage> ; # sémantique langage
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/4124828#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/92670620> ; # John Wylie Lloyd
    schema:datePublished "1984" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4124828> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation> ; # Symbolic computation.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation_artificial_intelligence> ; # Symbolic computation. Artificial intelligence
    schema:isSimilarTo <http://www.worldcat.org/oclc/557989546> ;
    schema:name "Foundations of logic programming"@en ;
    schema:productID "11186391" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/11186391#PublicationEvent/berlin_new_york_springer_verlag_1984> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4124828#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www3.ub.tu-berlin.de/ihv/000283371.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9783540132998> ;
    schema:workExample <http://worldcat.org/isbn/9780387132990> ;
    umbel:isLike <http://d-nb.info/850141168> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/11186391> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation> # Symbolic computation.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11186391> ; # Foundations of logic programming
    schema:name "Symbolic computation." ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Series/symbolic_computation_artificial_intelligence> # Symbolic computation. Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/11186391> ; # Foundations of logic programming
    schema:name "Symbolic computation. Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
    schema:name "Langages de programmation--Sémantique"@en ;
    schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/logisch_programmeren> # Logisch programmeren
    a schema:Intangible ;
    schema:name "Logisch programmeren"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
    schema:name "Logische Programmierung"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/4124828#Topic/semantique_langage> # sémantique langage
    a schema:Intangible ;
    schema:name "sémantique langage"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

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

<http://id.worldcat.org/fast/1078716> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

<http://viaf.org/viaf/92670620> # John Wylie Lloyd
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Lloyd" ;
    schema:givenName "John Wylie" ;
    schema:givenName "J. W." ;
    schema:name "John Wylie Lloyd" ;
    .

<http://worldcat.org/isbn/9780387132990>
    a schema:ProductModel ;
    schema:isbn "0387132996" ;
    schema:isbn "9780387132990" ;
    .

<http://worldcat.org/isbn/9783540132998>
    a schema:ProductModel ;
    schema:isbn "3540132996" ;
    schema:isbn "9783540132998" ;
    .

<http://www.worldcat.org/oclc/557989546>
    a schema:CreativeWork ;
    rdfs:label "Foundations of logic programming." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/11186391> ; # Foundations of logic programming
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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