A Formal Model for Or-Parallel Execution of Logic Programs.
Andrzej CiepielewskiSeif HaridiPublished in: IFIP Congress (1983)
Keyphrases
- formal model
- logic programs
- parallel execution
- logic programming
- answer sets
- data partitioning
- fixpoint
- cost model
- parallel processing
- answer set programming
- parallel computing
- stable models
- computational properties
- shared memory
- partial deduction
- query execution
- query processing
- prolog programs
- query optimization
- normal logic programs
- predicate calculus
- loop formulas
- parallel algorithm
- parallel programming
- database