FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines.
Martin NilssonHidehiko TanakaPublished in: LP (1986)
Keyphrases
- abstract machine
- programming language
- logic programming language
- constraint logic programming
- logic programming
- parallel programming
- expert systems
- programming paradigms
- prolog programs
- shared memory
- semantically equivalent
- knowledge representation
- parallel computing
- distributed memory
- natural language
- knowledge base
- massively parallel
- artificial intelligence
- commodity hardware
- programming environment
- specification language
- parallel computation
- parallel machines
- inference engine
- general purpose
- object oriented programming
- high performance computing
- single processor
- situation calculus
- single machine
- language learning
- functional programming
- computer systems
- relational databases
- data sets