Parallel logic programming
Uses a single, coherent discussion to introduce the concept of parallel logic programming--its languages, procedural programming and debugging capabilities. Also contains an implementation (program and related code) of a parallel logic computational model and related explanation. Numerous illustrative examples help clarify what is new and essential in PLP.
What people are saying - Write a review
We haven't found any reviews in the usual places.
9 other sections not shown
Actor model algorithm AND-predicate AND-process ANDOR-II Andorra arity block bounded buffer communication called Chapter Clark and Gregory committed-choice communication channels computation tree Concurrent Prolog constraint data structure deadlock debugging defined definite clauses derivation difference list environment example Figure flatten GHC programs given goal goal atom gramming guard computation guarded clause head unification Horn clause imperative programming implementation incomplete messages incorrect answer incorrect clause instance input stream instantiated integer invoked label logic programming languages logical variables merge meta programming mode declaration Msuc Msus node nondeterministic object object-oriented programming operational semantics OR-predicate OR-process output parallel computation parallel logic programming PARLOG predicate primitive problem procedure protected data queue read-only annotation receiving reduction result Saraswat semantics sender server process Shapiro shared variable SLD-refutation stream communication succeeds success set suspends suspension mechanism Takeuchi technique terminates theorem tion translated true I true Ueda unbound unifier vector window