Massively parallel execution of logic programs: A static approach.
Fabrizio BaiardiAntonio CandelieriLaura RicciPublished in: J. Syst. Archit. (1997)
Keyphrases
- logic programs
- massively parallel
- logic programming
- answer sets
- fine grained
- fixpoint
- parallel execution
- parallel computing
- answer set programming
- computational properties
- partial deduction
- normal logic programs
- stable models
- inductive logic programming
- stable model semantics
- prolog programs
- horn clauses
- query optimization
- strong equivalence
- data flow
- distributed systems
- loop formulas
- bayesian networks