skip to content
Distributed constraint logic programming Preview this item
ClosePreview this item
Checking...

Distributed constraint logic programming

Author: Ho-Fung Leung
Publisher: Singapore ; River Edge, NJ : World Scientific, ©1993.
Series: Series in computer science, vol. 41.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Attempting to combine concurrent and constraint logic programming, this book deals, among other topics, with a novel computation mode - the multi-Pandora model - which is designed on the basis of the  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

Document Type: Book
All Authors / Contributors: Ho-Fung Leung
ISBN: 9810214561 9789810214562
OCLC Number: 30020252
Description: xviii, 326 pages : illustrations ; 23 cm.
Contents: Ch. I. Distributed and Constraint Logic Programming --
A Brief History --
Ch. II. Parlog, Pandora and Their Abstract Machines --
Ch. III. The Multi-Pandora Model and the Multi-Pandora Abstract Machine --
Ch. IV. Distributed Implementation of Parlog --
Ch. V. Distributed Implementation of Pandora --
Ch. VI. Distributed Implementation of Multi-Pandora --
Ch. VII. Finite Domain Constraints in Distributed Concurrent Logic Programming Languages --
Ch. VIII. Distributed Constraint Concurrent Logic Programming --
Ch. IX. Distributed Constraint Solver in the Domain of Real Numbers --
Ch. X. Distributed Constraint Solver in the Domain of Boolean Rings --
Ch. XI. Integrating Distributed Constraint Solvers and Distributed Logic Programming Languages --
Ch. XII. Conclusions and Future Work --
Appendix A: A Detailed Trace of a Pandora Program --
Appendix B: Proofs of Theorems --
Appendix C: The [actual symbol not reproducible] Algorithm for Detection of Termination of Multi-Processor Execution. Appendix D: The Shafrir-Shapiro Implementation of the Dolev-Klawe-Rodeh Algorithm in Concurrent Prolog --
Appendix E A Distributed Parlog Implementation of the Distributed Snapshots Algorithm --
Appendix F: A Distributed Parlog Implementation of the Dining Philosophers Problem --
Appendix G: Parlog Codes for the Implementation of the Looking-Ahead Inference Rule.
Series Title: Series in computer science, vol. 41.
Responsibility: Ho-Fung Leung.

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/30020252> # Distributed constraint logic programming
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "30020252" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499317158#Place/river_edge_nj> ; # River Edge, NJ
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/si> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/499317158#Place/singapore> ; # Singapore
   schema:about <http://id.worldcat.org/fast/895579> ; # Distributed artificial intelligence
   schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/499317158#Topic/programmation_par_contraintes> ; # Programmation par contraintes
   schema:about <http://experiment.worldcat.org/entity/work/data/499317158#Topic/programmation_logique> ; # Programmation logique
   schema:about <http://experiment.worldcat.org/entity/work/data/499317158#Topic/traitement_reparti> ; # Traitement réparti
   schema:about <http://id.worldcat.org/fast/1049814> ; # PARLOG (Computer program language)
   schema:about <http://dewey.info/class/005.2/e20/> ;
   schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "1993" ;
   schema:creator <http://viaf.org/viaf/47987750> ; # Ho-Fung Leung
   schema:datePublished "1993" ;
   schema:description "Ch. I. Distributed and Constraint Logic Programming -- A Brief History -- Ch. II. Parlog, Pandora and Their Abstract Machines -- Ch. III. The Multi-Pandora Model and the Multi-Pandora Abstract Machine -- Ch. IV. Distributed Implementation of Parlog -- Ch. V. Distributed Implementation of Pandora -- Ch. VI. Distributed Implementation of Multi-Pandora -- Ch. VII. Finite Domain Constraints in Distributed Concurrent Logic Programming Languages -- Ch. VIII. Distributed Constraint Concurrent Logic Programming -- Ch. IX. Distributed Constraint Solver in the Domain of Real Numbers -- Ch. X. Distributed Constraint Solver in the Domain of Boolean Rings -- Ch. XI. Integrating Distributed Constraint Solvers and Distributed Logic Programming Languages -- Ch. XII. Conclusions and Future Work -- Appendix A: A Detailed Trace of a Pandora Program -- Appendix B: Proofs of Theorems -- Appendix C: The [actual symbol not reproducible] Algorithm for Detection of Termination of Multi-Processor Execution."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/499317158> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/499317158#Series/world_scientific_series_in_computer_science> ; # World Scientific series in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/499317158#Series/series_in_computer_science> ; # Series in computer science ;
   schema:name "Distributed constraint logic programming"@en ;
   schema:productID "30020252" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/30020252#PublicationEvent/singapore_river_edge_nj_world_scientific_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/499317158#Agent/world_scientific> ; # World Scientific
   schema:workExample <http://worldcat.org/isbn/9789810214562> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/30020252> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/499317158#Agent/world_scientific> # World Scientific
    a bgn:Agent ;
   schema:name "World Scientific" ;
    .

<http://experiment.worldcat.org/entity/work/data/499317158#Series/series_in_computer_science> # Series in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30020252> ; # Distributed constraint logic programming
   schema:name "Series in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/499317158#Series/world_scientific_series_in_computer_science> # World Scientific series in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/30020252> ; # Distributed constraint logic programming
   schema:name "World Scientific series in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/499317158#Topic/programmation_par_contraintes> # Programmation par contraintes
    a schema:Intangible ;
   schema:name "Programmation par contraintes"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/499317158#Topic/traitement_reparti> # Traitement réparti
    a schema:Intangible ;
   schema:name "Traitement réparti"@en ;
    .

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

<http://id.worldcat.org/fast/1049814> # PARLOG (Computer program language)
    a schema:Intangible ;
   schema:name "PARLOG (Computer program language)"@en ;
    .

<http://id.worldcat.org/fast/875873> # Constraint programming (Computer science)
    a schema:Intangible ;
   schema:name "Constraint programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/895579> # Distributed artificial intelligence
    a schema:Intangible ;
   schema:name "Distributed artificial intelligence"@en ;
    .

<http://viaf.org/viaf/47987750> # Ho-Fung Leung
    a schema:Person ;
   schema:familyName "Leung" ;
   schema:givenName "Ho-Fung" ;
   schema:name "Ho-Fung Leung" ;
    .

<http://worldcat.org/isbn/9789810214562>
    a schema:ProductModel ;
   schema:isbn "9810214561" ;
   schema:isbn "9789810214562" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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