Review of Parallel execution of logic programs by John Conery. Kluwer Academic Publishers 1987.
Philip BitarPublished in: SIGARCH Comput. Archit. News (1989)
Keyphrases
- logic programs
- parallel execution
- logic programming
- data partitioning
- parallel processing
- answer sets
- fixpoint
- stable models
- parallel computing
- answer set programming
- cost model
- query execution
- computational properties
- shared memory
- parallel programming
- normal logic programs
- prolog programs
- partial deduction
- query processing
- strong equivalence
- data exchange
- knowledge representation
- stable model semantics
- database systems
- loop formulas
- knowledge base