Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1.
Keiji HirataReki YamamotoAkira ImaiHideo KawaiKiyoshi HiranoTsuneyoshi TakagiKazuo TakiAkihiko NakaseKazuaki RokusawaPublished in: FGCS (1992)
Keyphrases
- logic programming language
- logic programming
- distributed processing
- distributed systems
- constraint logic programming
- parallel implementation
- situation calculus
- parallel processing
- parallel computation
- concurrent execution
- parallel execution
- answer set programming
- declarative semantics
- databases
- lower bound
- knowledge base
- machine learning