Unification parallelism for prolog processing.
Masayuki InagawaTakanobu BabaKatsuhiro YamazakiKenzo OkudaKen IshikawaPublished in: Systems and Computers in Japan (1988)
Keyphrases
- computational power
- theorem proving
- real time
- parallel execution
- higher order
- parallel processing
- processing capabilities
- knowledge representation
- data processing
- logic programming
- fine grain
- parallel computation
- massively parallel
- efficient processing
- decision trees
- image processing
- knowledge base
- search engine
- real world
- data sets