A simple and efficient explicit parallelization of logic programs using low-level threading primitives
Diptikalyan SahaPaul FodorPublished in: CoRR (2009)
Keyphrases
- logic programs
- low level
- logic programming
- high level
- answer sets
- stable models
- answer set programming
- background knowledge
- fixpoint
- inductive logic programming
- computational properties
- partial deduction
- prolog programs
- stable model semantics
- logic program updates
- normal logic programs
- horn clauses
- deductive databases
- autoepistemic logic
- knowledge base
- monotonicity constraints
- functional programs
- existentially quantified
- term rewriting systems