Debugger for a Parallel Logic Programming Language Fleng.
Jun'ichi TatemuraHidehiko TanakaPublished in: LP (1989)
Keyphrases
- logic programming language
- logic programming
- constraint logic programming
- parallel programming
- inference rules
- declarative semantics
- logic programs
- situation calculus
- parallel computing
- shared memory
- parallel computation
- parallel processing
- message passing interface
- programming language
- nonmonotonic reasoning
- parallel algorithm
- parallel execution
- programming environment
- expert systems
- constraint programming
- knowledge representation
- artificial intelligence