Exploiting Recursion-Parallelism in Prolog.
Johan BevemyrThomas LindgrenHåkan MillrothPublished in: PARLE (1993)
Keyphrases
- logic programming
- parallel processing
- complex objects
- programming language
- shared memory
- multiscale
- expert systems
- deductive databases
- knowledge base
- theorem proving
- knowledge representation
- general purpose
- inference engine
- computational power
- fine grain
- logic programming language
- abstract machine
- logic programs
- probabilistic model
- image segmentation
- data sets
- transitive closure
- parallel computers
- prolog programs