Recomputation based Implementations of And-Or Parallel Prolog.
Gopal GuptaManuel V. HermenegildoPublished in: FGCS (1992)
Keyphrases
- parallel implementations
- expert systems
- logic programming
- parallel implementation
- parallel programming
- knowledge base
- parallel hardware
- sorting algorithms
- prolog programs
- programming language
- parallel processing
- efficient implementation
- parallel computing
- programming paradigms
- real time
- computer architecture
- massively parallel
- first order logic
- knowledge representation
- data model
- artificial neural networks
- multiscale
- information retrieval