Scheduling demand-driven parallel logic programs on transputers.
Shyh-Chang SuPrasenjit BiswasPublished in: Microprocessing and Microprogramming (1990)
Keyphrases
- logic programs
- demand driven
- logic programming
- load balance
- round robin
- stable models
- background knowledge
- answer set programming
- fixpoint
- answer sets
- scheduling algorithm
- parallel machines
- inductive logic programming
- scheduling problem
- normal logic programs
- partial deduction
- strong equivalence
- logic program updates
- prolog programs
- computational properties
- horn clauses
- resource allocation
- recursive programs
- answer set programs
- load balancing
- functional programs
- term rewriting systems