A Memory Organization Independent Binding Environment for AND and OR Parallel Execution of Logic Programs.
Laxmikant V. KaléR. RamkumarWei Wennie ShuPublished in: ICLP/SLP (1988)
Keyphrases
- programming environment
- logic programs
- parallel execution
- logic programming
- answer sets
- answer set programming
- fixpoint
- data partitioning
- stable models
- normal logic programs
- partial deduction
- loop formulas
- computational properties
- prolog programs
- information systems
- parallel computing
- cost model
- parallel processing
- stable model semantics
- semantic web
- probabilistic model