skip to content
Conclog : a methodological approach to concurrent logic programming Preview this item
ClosePreview this item
Checking...

Conclog : a methodological approach to concurrent logic programming

Author: Jean-Marie Jacquet
Publisher: Berlin : Springer, 1991.
Series: Lecture notes in computer science, 556.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

This book presents a new concurrent logic programminglanguage called Conclog and a methodology for programming init. This covers theentire programming process, from informal  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: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Jean-Marie Jacquet
ISBN: 0387549382 9780387549385 3540549382 9783540549383
OCLC Number: 246316975
Description: XII, 781 Seiten : Diagramme.
Contents: Logic programming.- A reconciliation calculus.- A basic scheme for concurrent logic programming.- Incorporating negation.- Adding extra-logical features.- Event-driven reconciliation.- Comparison with related work.- Conclusion.- Towards a methodology of concurrent logic programming.- Programming non-behavioral applications.- Programming behavorial applications.- Conclusion.- Conclusion.
Series Title: Lecture notes in computer science, 556.
Responsibility: J.- M. Jacquet.
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/246316975> # Conclog : a methodological approach to concurrent logic programming
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "246316975" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/326541904#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/parallelverarbeitung> ; # Parallelverarbeitung
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/production_programme> ; # production programme
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/programmation_logique> ; # Programmation logique
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/programmation_parallele> ; # programmation parallèle
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/concurrence> ; # concurrence
    schema:about <http://dewey.info/class/005.1/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/326541904#Topic/conclog> ; # Conclog
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/12972237> ; # Jean-Marie Jacquet
    schema:datePublished "1991" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/326541904> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/326541904#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Conclog : a methodological approach to concurrent logic programming" ;
    schema:productID "246316975" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/246316975#PublicationEvent/berlin_springer_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/326541904#Agent/springer> ; # Springer
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0815/91041069-d.html> ;
    schema:url <https://doi.org/10.1007/3-540-54938-2> ;
    schema:url <http://dx.doi.org/10.1007/3-540-54938-2> ;
    schema:workExample <http://worldcat.org/isbn/9783540549383> ;
    schema:workExample <http://worldcat.org/isbn/9780387549385> ;
    umbel:isLike <http://d-nb.info/911392947> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/246316975> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/326541904#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/246316975> ; # Conclog : a methodological approach to concurrent logic programming
    schema:name "Lecture notes in computer science ;" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/326541904#Topic/parallelverarbeitung> # Parallelverarbeitung
    a schema:Intangible ;
    schema:name "Parallelverarbeitung" ;
    .

<http://experiment.worldcat.org/entity/work/data/326541904#Topic/production_programme> # production programme
    a schema:Intangible ;
    schema:name "production programme" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/326541904#Topic/programmation_parallele> # programmation parallèle
    a schema:Intangible ;
    schema:name "programmation parallèle" ;
    .

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

<http://viaf.org/viaf/12972237> # Jean-Marie Jacquet
    a schema:Person ;
    schema:familyName "Jacquet" ;
    schema:givenName "Jean-Marie" ;
    schema:name "Jean-Marie Jacquet" ;
    .

<http://worldcat.org/isbn/9780387549385>
    a schema:ProductModel ;
    schema:isbn "0387549382" ;
    schema:isbn "9780387549385" ;
    .

<http://worldcat.org/isbn/9783540549383>
    a schema:ProductModel ;
    schema:isbn "3540549382" ;
    schema:isbn "9783540549383" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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