An Or-Parallel Logic Programming Machine for Non-shared Memory Architectures.
Johannes EngelsPublished in: ARCS (1988)
Keyphrases
- shared memory
- logic programming
- parallel architectures
- parallel machines
- logic programs
- distributed memory
- message passing
- parallel algorithm
- parallel computing
- multi processor
- parallel computers
- answer set programming
- parallel programming
- deductive databases
- knowledge base
- heterogeneous platforms
- knowledge representation
- answer sets
- logic programming language
- programming language
- parallel computation
- parallel architecture
- single processor
- constraint logic programming
- parallel execution
- default logic
- data parallelism
- multi core processors
- inductive logic programming
- multi core systems
- stable models
- dynamic programming
- shared memory multiprocessors
- parallel tree search
- multithreading
- parallel processing
- expert systems
- bayesian networks
- artificial intelligence
- commodity hardware
- databases