Binding environments for parallel logic programs in non-shared memory multiprocessors.
John S. ConeryPublished in: Int. J. Parallel Program. (1988)
Keyphrases
- logic programs
- shared memory multiprocessors
- shared memory
- logic programming
- answer set programming
- answer sets
- background knowledge
- fixpoint
- stable models
- prolog programs
- computational properties
- partial deduction
- inductive logic programming
- normal logic programs
- parallel algorithm
- semantics of logic programs
- term rewriting systems
- programming language
- message passing
- logic program updates
- horn clauses
- propositional theories
- reasoning tasks
- incomplete information
- distributed systems