KLIC: A Portable Parallel Implementation of a Concurrent Logic Programming Language.
Takashi ChikayamaPublished in: PSLS (1995)
Keyphrases
- parallel implementation
- logic programming language
- logic programming
- constraint logic programming
- inference rules
- situation calculus
- declarative semantics
- logic programs
- parallel computation
- parallel computers
- distributed memory
- parallel implementations
- databases
- answer sets
- message passing interface
- deductive databases
- general purpose
- knowledge representation
- query language
- expert systems