A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL.
Kemal EbciogluManoj KumarPublished in: FGCS (1988)
Keyphrases
- logic programs
- parallel execution
- logic programming
- answer sets
- answer set programming
- stable models
- data partitioning
- fixpoint
- normal logic programs
- computational properties
- partial deduction
- cost model
- strong equivalence
- parallel processing
- stable model semantics
- n gram
- parallel computing
- shared memory
- deductive databases
- database systems