Generating AND-parallel Execution Expressions

Sjöland, Thomas (1990) Generating AND-parallel Execution Expressions. [SICS Report]



An AND-parallel execution model for logic programs needs a representation of clauses that explicitly expresses the possible parallelism. It is natural to consider a clause body to be a set of indexed goals where the indices are partially ordered and the order represents the required execution model, so we need another representation which expresses the parallelism. We define an algorithm to generate balanced execution expressions for rapallel execution from the more general form with partially ordered indexed literals.

Item Type:SICS Report
Additional Information:Original report number R90007.
ID Code:2090
Deposited By:Vicki Carleson
Deposited On:30 Sep 2009
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page