Parallelizing Prolog on Shared-Memory Multiprocessors.
Yaoqing GaoDingxing WangQiu XiaolinZhiyi HwangShouren HuPublished in: PDK (1991)
Keyphrases
- shared memory multiprocessors
- shared memory
- distributed memory
- parallel computers
- parallel algorithm
- expert systems
- logic programming
- abstract machine
- parallel computing
- knowledge representation
- message passing
- inference engine
- logic programming language
- programming language
- prolog programs
- knowledge base
- semantically equivalent
- real time
- artificial intelligence
- data sets
- backward chaining
- real world
- learning algorithm
- image processing
- parallel processing
- multiscale
- database systems
- case study