An Execution Model for Exploiting And-Or Parallelism in Logic Programs (abstract).
Mounira BelmeskPublished in: ISSAC (1990)
Keyphrases
- logic programs
- execution model
- logic programming
- answer sets
- fixpoint
- answer set programming
- stable models
- transaction management
- active rules
- functional programming
- partial deduction
- normal logic programs
- high level
- strong equivalence
- information systems
- database management systems
- multi dimensional
- knowledge representation
- data streams