Parallel Implementation of Logic Languages.
Amit GuptaAnindo BanerjeaVikas JhaVineet BafnaP. C. P. BhattPublished in: CONPAR (1990)
Keyphrases
- parallel implementation
- parallel computation
- parallel computers
- expressive power
- formal language
- proof theory
- classical logic
- cross lingual
- embedded processors
- databases
- language independent
- modal logic
- logic programming
- multi valued
- distributed memory
- predicate logic
- parallel implementations
- highly expressive
- programming environment
- target language
- defeasible logic
- machine translation