Implementing Prolog Extensions: a Parallel Inference Machine.
Jean-Marc AlliotAndreas HerzigMamede Lima-MarquesPublished in: FGCS (1992)
Keyphrases
- inference engine
- backward chaining
- efficient implementation
- parallel machines
- expert systems
- knowledge representation
- forward chaining
- logic programming
- parallel processing
- identical machines
- shared memory
- neural network
- bayesian networks
- knowledge base
- shared memory multiprocessor
- parallel programming
- grammatical inference
- argumentation semantics
- programming paradigms
- depth first search
- distributed memory
- parallel computation
- dynamic bayesian networks
- parallel computing
- default logic
- theorem proving
- random fields
- probabilistic model