skip to content
Parallel execution of logic programs Preview this item
ClosePreview this item
Checking...

Parallel execution of logic programs

Author: John S Conery
Publisher: Boston : Kluwer Academic Publishers, ©1987.
Series: Kluwer international series in engineering and computer science, SECS 25.
Edition/Format:   Print book : EnglishView all editions and formats
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

Additional Physical Format: Online version:
Conery, John S.
Parallel execution of logic programs.
Boston : Kluwer Academic Publishers, ©1987
(OCoLC)571588753
Document Type: Book
All Authors / Contributors: John S Conery
ISBN: 0898381940 9780898381948
OCLC Number: 14819153
Notes: Revision of the author's thesis (Ph. D.--University of Oregon) originally presented under the title: The AND/OR process model for parallel interpretation of logic programs.
Description: xiv, 146 pages : illustrations ; 25 cm.
Contents: 1 Introduction.- 2 Logic Programming.- 2.1 Syntax.- 2.2 Semantics.- 2.3 Control.- 2.4 Prolog.- 2.4.1 Evaluable Predicates and Arithmetic.- 2.4.2 Higher Order Functions.- 2.4.3 The Cut Symbol.- 2.5 Alternate Control Strategies.- 2.5.1 Selection by Number of Solutions.- 2.5.2 Selection by Number of Uninstantiated Variables.- 2.5.3 Intelligent Backtracking.- 2.5.4 Coroutines.- 2.6 Chapter Summary.- 3 Parallelism in Logic Programs.- 3.1 Models for OR Parallelism.- 3.1.1 Pure OR Parallelism.- 3.1.2 OR Processes.- 3.1.3 Distributed Search.- 3.1.4 Summary.- 3.2 Models for AND Parallelism.- 3.2.1 Stream Parallel Models.- 3.2.2 AND Processes.- 3.2.3 AND Parallelism in the Goal Tree.- 3.2.4 Summary.- 3.3 Low Level Parallelism.- 3.4 Chapter Summary.- 4 The AND/OR Process Model.- 4.1 Oracle.- 4.2 Messages.- 4.3 OR Processes.- 4.4 AND Processes.- 4.5 Interpreter.- 4.6 Programming Language.- 4.7 Chapter Summary.- 5 Parallel OR Processes.- 5.1 Operating Modes.- 5.2 Execution.- 5.3 Example.- 5.4 Chapter Summary.- 6 Parallel AND Processes.- 6.1 Ordering of Literals.- 6.1.1 Dataflow Graphs.- 6.1.2 The Ordering Algorithm.- 6.1.3 Examples.- 6.2 Forward Execution.- 6.2.1 Forward Execution Algorithm.- 6.2.2 Solution of a Deterministic Function.- 6.3 Backward Execution.- 6.3.1 Generating Tuples of Terms.- 6.3.2 Definitions for Backward Execution.- 6.3.3 The Backward Execution Algorithm.- 6.4 Detailed Example.- 6.4.1 Ordering.- 6.4.2 Forward Execution.- 6.4.3 Backward Execution.- 6.4.4 Additional Solutions.- 6.5 Discussion.- 6.5.1 Relative Order of Incoming Messages.- 6.5.2 Definition of Candidate Set.- 6.5.3 Result Cache.- 6.5.4 Infinite Domains.- 6.5.5 Multisets of Results.- 6.6 Chapter Summary.- 7 Implementation.- 7.1 Overview of the Interpreter.- 7.2 Parallel AND Processes.- 7.3 Process Allocation.- 7.4 Growth Control.- 7.4.1 Conditional Expressions.- 7.4.2 Process Priorities.- 7.4.3 Message Protocols.- 7.4.4 Secondary Memory.- 7.5 Summary.
Series Title: Kluwer international series in engineering and computer science, SECS 25.
Responsibility: by John S. Conery.

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/14819153> # Parallel execution of logic programs
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "14819153" ;
    library:placeOfPublication <http://dbpedia.org/resource/Boston> ; # Boston
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8552345#Topic/parallelverarbeitung> ; # Parallelverarbeitung
    schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/8552345#Thing/computer_systems> ; # Computer systems
    schema:about <http://dewey.info/class/004.35/e19/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/8552345#Topic/logisch_programmeren> ; # Logisch programmeren
    schema:about <http://id.worldcat.org/fast/1002056> ; # Logic programming
    schema:about <http://experiment.worldcat.org/entity/work/data/8552345#Topic/logische_programmierung> ; # Logische Programmierung
    schema:about <http://experiment.worldcat.org/entity/work/data/8552345#Topic/parallelle_verwerking> ; # Parallelle verwerking
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "1987" ;
    schema:creator <http://viaf.org/viaf/94057192> ; # John S. Conery
    schema:datePublished "1987" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/8552345> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/8552345#Series/the_kluwer_international_series_in_engineering_and_computer_science> ; # The Kluwer international series in engineering and computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/8552345#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/571588753> ;
    schema:name "Parallel execution of logic programs"@en ;
    schema:productID "14819153" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/14819153#PublicationEvent/boston_kluwer_academic_publishers_1987> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/8552345#Agent/kluwer_academic_publishers> ; # Kluwer Academic Publishers
    schema:workExample <http://worldcat.org/isbn/9780898381948> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8733621> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/14819153> ;
    .


Related Entities

<http://dbpedia.org/resource/Boston> # Boston
    a schema:Place ;
    schema:name "Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/8552345#Agent/kluwer_academic_publishers> # Kluwer Academic Publishers
    a bgn:Agent ;
    schema:name "Kluwer Academic Publishers" ;
    .

<http://experiment.worldcat.org/entity/work/data/8552345#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/14819153> ; # Parallel execution of logic programs
    schema:name "Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/8552345#Series/the_kluwer_international_series_in_engineering_and_computer_science> # The Kluwer international series in engineering and computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/14819153> ; # Parallel execution of logic programs
    schema:name "The Kluwer international series in engineering and computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/8552345#Thing/computer_systems> # Computer systems
    a schema:Thing ;
    schema:name "Computer systems" ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/8552345#Topic/parallelle_verwerking> # Parallelle verwerking
    a schema:Intangible ;
    schema:name "Parallelle verwerking"@en ;
    .

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

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

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
    schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://viaf.org/viaf/94057192> # John S. Conery
    a schema:Person ;
    schema:familyName "Conery" ;
    schema:givenName "John S." ;
    schema:name "John S. Conery" ;
    .

<http://worldcat.org/isbn/9780898381948>
    a schema:ProductModel ;
    schema:isbn "0898381940" ;
    schema:isbn "9780898381948" ;
    .

<http://www.worldcat.org/oclc/571588753>
    a schema:CreativeWork ;
    rdfs:label "Parallel execution of logic programs." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/14819153> ; # Parallel execution of logic programs
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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