Generating AND-parallel Execution Expressions
Number of Authors: 1
1990 (English)Report (Refereed)
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.
Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1990, 1. , 13 p.
SICS Research Report, ISSN 0283-3638 ; R90:07
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-21345OAI: oai:DiVA.org:ri-21345DiVA: diva2:1041379
Original report number R90007.2016-10-312016-10-31Bibliographically approved