On the parallel implementation of the higher order logic language lambda Prolog.
Francesca Arcelli FontanaFerrante FormatoGiulio IannelloPublished in: GULP-PRODE (2) (1994)
Keyphrases
- parallel implementation
- higher order logic
- conditional logic
- programming language
- logic programming language
- higher order
- abstract machine
- parallel implementations
- constraint logic programming
- parallel computers
- theorem prover
- parallel computation
- default reasoning
- expert systems
- lambda calculus
- natural language
- logic programming
- knowledge representation
- belief revision
- logical framework
- modal logic
- message passing interface
- artificial intelligence
- constraint satisfaction
- distributed memory
- genetic programming
- pairwise
- decision trees
- knowledge base