Or-parallel prolog execution on multicores based on stack splitting.
Rui VieiraRicardo RochaFernando M. A. SilvaPublished in: DAMP (2012)
Keyphrases
- parallel execution
- logic programming
- shared memory
- programming language
- parallel implementation
- parallel processing
- concurrent execution
- prolog programs
- knowledge representation
- expert systems
- databases
- theorem proving
- data structure
- database systems
- parallel computing
- case study
- constraint logic programming
- logic programming language
- backward chaining
- knowledge base
- learning algorithm