Compiler Optimizations in Reform Prolog: Experiments on the KSR-1 Multiprocessor.
Thomas LindgrenJohan BevemyrHåkan MillrothPublished in: Euro-Par (1995)
Keyphrases
- programming language
- level parallelism
- logic programming
- general purpose
- database machines
- abstract machine
- object oriented
- software systems
- expert systems
- knowledge representation
- multiprocessor architecture
- logic programming language
- highly optimized
- multiprocessor systems
- prolog programs
- programming paradigms
- distributed memory machines
- highly parallel
- knowledge base
- parallel computers
- theorem proving
- constraint logic programming
- code generation
- programs written
- multi objective evolutionary
- software engineering
- backward chaining
- inference engine
- distributed systems
- high level