skip to content
Logic programming languages : constraints, functions, and objects Preview this item
ClosePreview this item
Checking...

Logic programming languages : constraints, functions, and objects

Author: Krzysztof R Apt; J W de Bakker; J J M M Rutten
Publisher: Cambridge, Mass. : MIT Press, ©1993.
Series: Logic programming.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This collection of current research on logic programming languages presents results from a three-year effort to explore the integration of the foundational issues of functional, logic and  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

Genre/Form: Aufsatzsammlung
Additional Physical Format: Online version:
Logic programming languages.
Cambridge, Mass. : MIT Press, ©1993
(OCoLC)705969359
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Krzysztof R Apt; J W de Bakker; J J M M Rutten
ISBN: 0262011344 9780262011341
OCLC Number: 27264869
Description: xiv, 204 pages ; 24 cm.
Contents: Implementation of narrowing: the prolog-based approach / Pui Hung Cheong, Laurent Fribourg --
Logic programs with external procedures / Jan Małuszyński [and others] --
The semantics of equational logic programming as an instance of CLP / María Alpuente [and others] --
A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer [and others] --
A language for contextual logic programming / Luís Monteiro, António Porto --
An introduction to L & O / Francis G. McCabe.
Series Title: Logic programming.
Responsibility: edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
More information:

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/27264869> # Logic programming languages : constraints, functions, and objects
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "27264869" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/796653665#Place/cambridge_mass> ; # Cambridge, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://dewey.info/class/005.131/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/langages_de_programmation_logiques> ; # Langages de programmation logiques
    schema:about <http://id.worldcat.org/fast/1002058> ; # Logic programming languages
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/aufsatzsammlung> ; # Aufsatzsammlung
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/796653665#Thing/logic_programming> ; # Logic programming
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/44382739> ; # J. J. M. M. Rutten
    schema:contributor <http://viaf.org/viaf/95095> ; # Jacobus Willem Bakker
    schema:contributor <http://viaf.org/viaf/27150160> ; # Krzysztof R. Apt
    schema:copyrightYear "1993" ;
    schema:datePublished "1993" ;
    schema:description "Implementation of narrowing: the prolog-based approach / Pui Hung Cheong, Laurent Fribourg -- Logic programs with external procedures / Jan Małuszyński [and others] -- The semantics of equational logic programming as an instance of CLP / María Alpuente [and others] -- A paradigm for asynchronous communication and its application to concurrent constraint programming / Frank S. de Boer [and others] -- A language for contextual logic programming / Luís Monteiro, António Porto -- An introduction to L & O / Francis G. McCabe."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/796653665> ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/796653665#Series/logic_programming> ; # Logic programming.
    schema:isSimilarTo <http://www.worldcat.org/oclc/705969359> ;
    schema:name "Logic programming languages : constraints, functions, and objects"@en ;
    schema:productID "27264869" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/27264869#PublicationEvent/cambridge_mass_mit_press_1993> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/796653665#Agent/mit_press> ; # MIT Press
    schema:url <http://www.gbv.de/dms/bowker/toc/9780262011341.pdf> ;
    schema:workExample <http://worldcat.org/isbn/9780262011341> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9325524> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/27264869> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/796653665#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
    schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/796653665#Series/logic_programming> # Logic programming.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/27264869> ; # Logic programming languages : constraints, functions, and objects
    schema:name "Logic programming." ;
    schema:name "Logic programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/796653665#Thing/logic_programming> # Logic programming
    a schema:Thing ;
    schema:name "Logic programming" ;
    .

<http://experiment.worldcat.org/entity/work/data/796653665#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/796653665#Topic/langages_de_programmation_logiques> # Langages de programmation logiques
    a schema:Intangible ;
    schema:name "Langages de programmation logiques"@fr ;
    .

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

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

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

<http://experiment.worldcat.org/entity/work/data/796653665#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

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

<http://viaf.org/viaf/27150160> # Krzysztof R. Apt
    a schema:Person ;
    schema:birthDate "1949" ;
    schema:familyName "Apt" ;
    schema:givenName "Krzysztof R." ;
    schema:name "Krzysztof R. Apt" ;
    .

<http://viaf.org/viaf/44382739> # J. J. M. M. Rutten
    a schema:Person ;
    schema:familyName "Rutten" ;
    schema:givenName "J. J. M. M." ;
    schema:name "J. J. M. M. Rutten" ;
    .

<http://viaf.org/viaf/95095> # Jacobus Willem Bakker
    a schema:Person ;
    schema:birthDate "1939" ;
    schema:familyName "Bakker" ;
    schema:givenName "Jacobus Willem" ;
    schema:givenName "J. W. de" ;
    schema:name "Jacobus Willem Bakker" ;
    .

<http://worldcat.org/isbn/9780262011341>
    a schema:ProductModel ;
    schema:isbn "0262011344" ;
    schema:isbn "9780262011341" ;
    .

<http://www.worldcat.org/oclc/705969359>
    a schema:CreativeWork ;
    rdfs:label "Logic programming languages." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/27264869> ; # Logic programming languages : constraints, functions, and objects
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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