Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programs.
Chin-Feng FanPrasenjit BiswasPublished in: TAI (1989)
Keyphrases
- logic programs
- logic programming
- parallel execution
- answer set programming
- grain size
- answer sets
- stable models
- abstract machine
- computational properties
- fixpoint
- partial deduction
- multi dimensional
- data partitioning
- normal logic programs
- monotonicity constraints
- prolog programs
- parallel processing
- process model
- semantics of logic programs