An Architecture for Parallel Logic Languages.
Jim A. CrammondC. D. F. MillerPublished in: ICLP (1984)
Keyphrases
- databases
- parallel processing
- highly expressive
- classical logic
- expressive power
- parallel computation
- text summarization
- predicate logic
- massively parallel
- real time
- language independent
- parallel implementation
- shared memory
- logic programming
- parallel computing
- cross lingual
- automated reasoning
- parallel algorithm
- logical framework
- digital circuits
- formal language
- language identification
- xml documents
- neural network
- syntactic and semantic dependencies