Book review: Parallel Execution of Logic Programs by John S. Conery (Kluwer Academic Publiishers 1987).
Ben ChoiDik Lun LeePublished in: SIGART Newsl. (1988)
Keyphrases
- logic programs
- parallel execution
- logic programming
- data partitioning
- cost model
- parallel processing
- answer sets
- answer set programming
- fixpoint
- stable models
- parallel computing
- query execution
- partial deduction
- computational properties
- query processing
- stable model semantics
- strong equivalence
- shared memory
- prolog programs
- massively parallel
- database systems
- software engineering
- loop formulas
- data structure