Implementing Parallel Prolog System on Multiprocessor System PARK.
Hideo MatsudaM. KohataT. MasuoYukio KanedaSadao MaekawaPublished in: IWDM (1987)
Keyphrases
- shared memory multiprocessor
- distributed memory
- multiprocessor systems
- shared memory
- single processor
- parallel implementation
- logic programming
- level parallelism
- highly parallel
- parallel processing
- message passing interface
- efficient implementation
- real time
- parallel computing
- theorem proving
- expert systems
- databases
- programming language
- abstract machine
- knowledge base
- database machines
- multiprocessor architecture
- parallel algorithm
- database
- prolog programs
- information retrieval
- genetic algorithm
- multithreading
- information systems
- database systems
- data structure
- inference engine