Or-Parallel Prolog on Shared Memory Multiprocessors.
Andrzej CiepielewskiSeif HaridiBogumil HausmanPublished in: J. Log. Program. (1989)
Keyphrases
- shared memory multiprocessors
- shared memory
- logic programming
- distributed memory
- expert systems
- parallel processing
- message passing
- general purpose
- parallel programming
- depth first search
- parallel computing
- data mining
- machine learning
- parallel algorithm
- knowledge base
- programming language
- database
- theorem proving
- load balancing
- parallel implementation
- massively parallel
- horn clauses
- parallel computation
- neural network
- website
- logic programming language
- functional programming
- abstract machine
- databases